Loading...
Date
2009
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.
Supervisor
Description
non-peer-reviewed
Publisher
Springer
Citation
Files
Loading...
butterfield.pdf
Adobe PDF, 216.69 KB
ULRR Identifiers
Funding code
Funding Information
Science Foundation Ireland (SFI)