Superposition refinement of reactive systems

DOI10.1007/BF01214918MaRDI QIDQ1918935zbMATH OpenFDO

Authors Ralph-Johan Back, K. Sere

Publication date 23 July 1996

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

Full work available at URL https://doi.org/10.1007/BF01214918

zbMATH Keywords

reactive systemsrefinement calculussuperposition refinement

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 140256
• Superposition: composition vs refinement of non-deterministic, action-based systems
• Superposition: Composition vs refinement of non-deterministic, action-based systems
• Stepwise refinement of parallel algorithms

Cites work

• A calculus of refinements for program derivations
• A Methodology for Developing Distributed Programs
• A theoretical basis for stepwise refinement and the programming calculus
• scientific article; zbMATH DE number 3705887 (Why is no real title available?)
• scientific article; zbMATH DE number 140256 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• On-the-fly garbage collection
• Stepwise refinement of parallel algorithms
• The specification statement

Cited in

(19)

• Procedures and atomicity refinement
• Coordinating action systems
• Superposition: Composition vs refinement of non-deterministic, action-based systems
• Superposition: composition vs refinement of non-deterministic, action-based systems
• Patterns for refinement automation
• scientific article; zbMATH DE number 140244 (Why is no real title available?)
• scientific article; zbMATH DE number 140256 (Why is no real title available?)
• Verification of distributed systems with local-global predicates
• scientific article; zbMATH DE number 1104399 (Why is no real title available?)
• Superimpositions and Aspect-oriented Programming
• A superposition operator for the refinement of algebraic models
• Action systems in incremental and aspect-oriented modeling
• Retrenchment for Event-B: UseCase-wise development and Rodin integration
• Extension Morphisms for CommUnity
• Verification-Led Smart Contracts
• Simple feature engineering via neat default retrenchments
• A parametric rely-guarantee reasoning framework for concurrent reactive systems
• Kaisa Sere: in memoriam
• Algebraic reasoning for probabilistic action systems and while-loops

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Superposition refinement of reactive systems

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