Towards Algebraic Semantics of Circus Time

DOI10.1007/978-3-319-14806-9_5MaRDI QIDQ2814616zbMATH OpenOpenAlexFDO

Authors Kun Wei, Jim Woodcock

Publication date 22 June 2016

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-14806-9_5

zbMATH Keywords

timed CSPalgebraic operational semanticsCircus Time

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A mathematical framework for the semantics of symbolic languages representing periodic time
• Towards an algebra for timed behaviours
• scientific article; zbMATH DE number 7723711
• Towards bialgebraic semantics for the linear time -- branching time spectrum
• An algebraic approach to temporal logic
• A logical encoding of timed \(\pi\)-calculus
• A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
• Alternating-time temporal logic in the calculus of (co)inductive constructions
• Reasoning about temporal relations, the tractable subalgebras of Allen's interval algebra
• The temporal logic of coalgebras via Galois algebras

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2080001 (Why is no real title available?)
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• A UTP semantics for \textsf{Circus}
• A process algebraic framework for specification and validation of real-time systems
• A refinement strategy for Circus
• Circus Time with Reactive Designs
• From control law diagrams to Ada via \textsf{Circus}
• Modelling temporal behaviour in complex systems with Timebands
• On timed models and full abstraction
• Safety-critical Java programs from \textsf{Circus} models
• Understanding concurrent systems

Cited in

(4)

• scientific article; zbMATH DE number 1949640 (Why is no real title available?)
• Circus Time with Reactive Designs
• A process algebraic framework for specification and validation of real-time systems
• Prioritized slotted-Circus

This page was built for publication: Towards Algebraic Semantics of Circus Time

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