Towards a time model for Circus

DOI10.1007/3-540-36103-0_62MaRDI QIDQ4412559zbMATH OpenFDO

Authors Adnan Sherif, Jifeng He

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950613.htm

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Towards Algebraic Semantics of Circus Time
• Integrating time and resource into Circus
• Circus Time with Reactive Designs
• A process algebraic framework for specification and validation of real-time systems
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(15)

• Unifying theories in ProofPower-Z
• Modelling temporal behaviour in complex systems with Timebands
• Simulink timed models for program verification
• Semantic domains for Handel-C
• Integrating time and resource into Circus
• Unifying theories of programming in Isabelle
• Circus Time with Reactive Designs
• Prioritized slotted-Circus
• Connectors as designs: modeling, refinement and test case generation
• Mechanical reasoning about families of UTP theories
• Mechanical Reasoning about Families of UTP Theories
• UTP, \textsf{\textit{Circus}}, and Isabelle
• Applying formal verification to an open-source real-time operating system
• A process algebraic framework for specification and validation of real-time systems
• A timeband framework for modelling real-time systems

This page was built for publication: Towards a time model for Circus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412559)