University of Limerick Institutional Repository

The denotational semantics of slotted-circus

DSpace Repository

Show simple item record Gancarski, Pawel Butterfield, Andrew 2010-10-18T23:54:30Z 2010-10-18T23:54:30Z 2009
dc.identifier.citation Andrew Butterfield, Pawel Gancarski, The Denotational Semantics of Slotted-Circus, Lecture Notes in Computer Science, Formal Methods 2009, Eindhoven, Netherlands, 2-6th Nov, Ana Cavalcanti and Dennis Dams, 5850, Springer, 2009, 451-466 en_US
dc.description non-peer-reviewed
dc.description.abstract This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked systems. The key result presented here is a comprehensive semantics of the entire language that addresses various semantics issues that have been uncovered, whilst laying foundations for future extensions, particularly towards prioritized choice. en_US
dc.language.iso eng en_US
dc.publisher Springer en_US
dc.subject denotational semantics en_US
dc.subject unifying theories en_US
dc.subject time slots
dc.subject concurrency theory
dc.title The denotational semantics of slotted-circus en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.restriction none en
dc.contributor.sponsor SFI

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account