The denotational semantics of slotted-circus

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