Superposition refinement of reactive systems

DOI10.1007/BF01214918zbMath0852.68008MaRDI QIDQ1918935

Ralph-Johan Back, Kaisa Sere

Publication date: 23 July 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

refinement calculusreactive systemssuperposition refinement

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Procedures and atomicity refinement, Verification-Led Smart Contracts, Verification of distributed systems with local-global predicates, Simple feature engineering via neat default retrenchments, Action systems in incremental and aspect-oriented modeling, Algebraic reasoning for probabilistic action systems and while-loops, Retrenchment for Event-B: UseCase-wise development and Rodin integration, Patterns for Refinement Automation, Kaisa Sere: in memoriam, Coordinating action systems

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theoretical basis for stepwise refinement and the programming calculus
• Stepwise refinement of parallel algorithms
• A calculus of refinements for program derivations
• On-the-fly garbage collection
• The specification statement
• A Methodology for Developing Distributed Programs