Towards Algebraic Semantics of Circus Time

DOI10.1007/978-3-319-14806-9_5zbMATH Open1457.68071OpenAlexW1420164130MaRDI QIDQ2814616FDOQ2814616

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)

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 (2)

• Title not available (Why is that?)
• Circus Time with Reactive Designs

   Recommendations

• A mathematical framework for the semantics of symbolic languages representing periodic time 👍 👎
• Towards an algebra for timed behaviours 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 temporal logic of coalgebras via Galois algebras 👍 👎

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)