scientific article; zbMATH DE number 5587268
From MaRDI portal
Publication:5190776
zbMATH Open1193.68174MaRDI QIDQ5190776
Publication date: 27 July 2009
Title of this publication is not available (Why is that?)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (4)
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms ⋮ Safety-liveness exclusion in distributed computing ⋮ On the refinement of liveness properties of distributed systems ⋮ Safe ambients: Abstract machine and distributed implementation
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 Q5190776)
