University of Limerick Institutional Repository

The denotational semantics of slotted-circus

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Gancarski, Pawel
dc.contributor.author Butterfield, Andrew
dc.date.accessioned 2010-10-18T23:54:30Z
dc.date.available 2010-10-18T23:54:30Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/10344/584
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
dc.internal.authorcontactother Andrew.Butterfield@cs.tcd.ie

Files in this item

This item appears in the following Collection(s)

Show simple item record

Related Items

Search DSpace


Advanced Search

Browse

My Account