scientific article; zbMATH DE number 140256

zbMATH Open0785.68060MaRDI QIDQ4028640FDOQ4028640

Authors: Ralph-Johan Back, K. Sere 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

parallel algorithmsdistributed programsdistributed broadcasting algorithmsuperposition refinements

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Superposition: Composition vs refinement of non-deterministic, action-based systems
• An action-based formal model for concurrent real-time systems
• Stepwise refinement of parallel algorithms
• Title not available (Why is that?)
• Mechanizing some advanced refinement concepts
• Model checking action system refinements
• Refinement of parallel algorithms
• Superposition refinement of reactive 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)