Introducing parallel composition to the timed refinement calculus

MaRDI QIDQ4534707zbMATH OpenFDO

Authors Graeme Smith

Publication date 6 June 2002

zbMATH Keywords

distributed real-time systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1949613
• Logic meets algebra: compositional timing analysis for synchronous reactive multithreading
• On using temporal logic for refinement and compositional verification of concurrent systems
• scientific article; zbMATH DE number 4081518
• scientific article; zbMATH DE number 4119598
• scientific article; zbMATH DE number 4052975
• scientific article; zbMATH DE number 3902019
• Compositional semantics for real-time distributed computing
• Time-bounded parallel rewriting

Cited in

(5)

• Virtually timed ambients: a calculus of nested virtualization
• The refinement calculus of reactive systems
• An alternative definition for timed automata composition
• A predicative semantics for the refinement of real-time systems
• Correct Hardware Design and Verification Methods

This page was built for publication: Introducing parallel composition to the timed refinement calculus

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