Circus Time with Reactive Designs

DOI10.1007/978-3-642-35705-3_3MaRDI QIDQ3455644zbMATH OpenOpenAlexFDO

Authors Kun Wei, Ana Cavalcanti, Jim Woodcock

Publication date 11 December 2015

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

Full work available at URL https://doi.org/10.1007/978-3-642-35705-3_3

zbMATH Keywords

Circus Timereactive designsUTP

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Reactive designs of interrupts in Circus Time
• scientific article; zbMATH DE number 1949640
• scientific article; zbMATH DE number 1953116
• scientific article; zbMATH DE number 2000429
• scientific article; zbMATH DE number 1955907
• Towards Algebraic Semantics of Circus Time
• Temporal causality in reactive systems
• CIRCAL and the representation of communication, concurrency, and time

Cites work

• A process algebraic framework for specification and validation of real-time systems
• A refinement strategy for Circus
• A UTP semantics for \textsf{Circus}
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• The Miracle of Reactive Programming

Cited in

(11)

• A UTP semantics for \textsf{Circus}
• Unifying theories of time with generalised reactive processes
• Unifying theories of reactive design contracts
• Three Approaches to Timed External Choice in UTP
• Towards Algebraic Semantics of Circus Time
• Reactive designs of interrupts in Circus Time
• Unifying theories of programming in Isabelle
• Towards a UTP semantics for Modelica
• A stepwise approach to linking theories
• scientific article; zbMATH DE number 1949640 (Why is no real title available?)
• A Unary Semigroup Trace Algebra

Describes a project that uses

Uses Software

• Circus
• Isabelle/Circus
• Z

This page was built for publication: Circus Time with Reactive Designs

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