Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Communicating sequential processes
Communicating sequential processes
IEEE Transactions on Software Engineering
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Concurrent and Real Time Systems: The CSP Approach
Concurrent and Real Time Systems: The CSP Approach
Unifying Theories of Parallel Programming
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards a Time Model for Circus
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
prialt in Handel-C: an operational semantics
International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
CSP-CASL: a new integration of process algebra and algebraic specification
Theoretical Computer Science - Algebraic methods in language processing
Formal Aspects of Computing
State Visibility and Communication in Unifying Theories of Programming
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Slotted-circus: a UTP-family of reactive theories
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
A UTP semantics of pGCL as a homogeneous relation
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
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.