The Denotational Semantics of slotted-Circus

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.

• Type: Conference
• Year: 2009
• Where: FM
• Authors: Pawel Gancarski, Andrew Butterfield
• Keywords: Complete Denotational Semantics, FM 2009, Natural Language Processing, UTP Framework, Various Semantics Issues