2010-Gancarski-Prioritized.pdf (214.12 kB)
Prioritized slotted-Circus
conference contribution
posted on 2011-02-02, 13:47 authored by Pawel Gancarski, Andrew ButterfieldThis paper describes an extension adding priority to slotted-Circus, a generic framework for reasoning about discretely timed and/or synchronously clocked systems. The semantics of prioritised external choice is given using the Unifying Theories of Programming framework (UTP). The resulting language is similar to Prioritized Timed CSP, but its semantics is not based on trace ordering, and neither does it use the notion of acceptances (e.g. PCSP). Instead, the semantics is based on the notion of refusal sets already widely used in theories of CSP, Circus and slotted-Circus. We introduce priority as a lightweight extension of slotted-Circus, which can be easily adapted to define a similar extension of Timed CSP. We also discuss why priority can most easily be added to specific history models, and the fact that requiring the clock to tick after every communication event results in a more tractable theory.
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Pages 91-105
DOI:
History
Publication
ICTAC'10 Proceedings of the 7th International Colloquium Conference on Theoretical Aspects of Computing;6255,2010/ pp. 91-105Publisher
Springer-VerlagNote
peer-reviewedOther Funding information
SFILanguage
EnglishExternal identifier
Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC