scientific article; zbMATH DE number 140256

MaRDI QIDQ4028640zbMATH OpenFDO

Authors Ralph-Johan Back, K. Sere

Publication date 28 March 1993

zbMATH Keywords

parallel algorithmsdistributed programsdistributed broadcasting algorithmsuperposition refinements

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(13)

• scientific article; zbMATH DE number 4029349 (Why is no real title available?)
• scientific article; zbMATH DE number 5885666 (Why is no real title available?)
• An action-based formal model for concurrent real-time systems
• Superposition: Composition vs refinement of non-deterministic, action-based systems
• A superposition operator for the refinement of algebraic models
• Stepwise refinement of parallel algorithms
• scientific article; zbMATH DE number 140244 (Why is no real title available?)
• Mechanizing some advanced refinement concepts
• Model checking action system refinements
• Refinement of parallel algorithms
• Superposition refinement of reactive systems
• Superposition: composition vs refinement of non-deterministic, action-based systems
• Sequential to parallel buffer refinement

This page was built for publication:

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