Publication:4028640
From MaRDI portal
zbMath0785.68060MaRDI QIDQ4028640
Publication date: 28 March 1993
parallel algorithms; distributed programs; distributed broadcasting algorithm; superposition refinements
68Q60: Specification and verification (program logics, model checking, etc.)
68W15: Distributed algorithms
Related Items
Model checking action system refinements, Mechanizing some advanced refinement concepts, An action-based formal model for concurrent real-time systems, Superposition refinement of reactive systems