Towards Algebraic Semantics of Circus Time
DOI10.1007/978-3-319-14806-9_5zbMATH Open1457.68071OpenAlexW1420164130MaRDI QIDQ2814616FDOQ2814616
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
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
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Understanding concurrent systems
- On timed models and full abstraction
- Title not available (Why is that?)
- A UTP semantics for \textsf{Circus}
- From control law diagrams to Ada via \textsf{Circus}
- A refinement strategy for Circus
- Title not available (Why is that?)
- A process algebraic framework for specification and validation of real-time systems
- Title not available (Why is that?)
- Circus Time with Reactive Designs
- Safety-critical Java programs from \textsf{Circus} models
- Modelling temporal behaviour in complex systems with Timebands
Cited In (4)
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)
