scientific article; zbMATH DE number 1337885

zbMATH Open0935.68129MaRDI QIDQ4264231FDOQ4264231

Authors: Thomas Baar, Ekkart Kindler 

Publication date: 23 November 1999

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

Recommendations

• Modelling and verification of Distributed Algorithms
• Formal Verification of Distributed Algorithms
• Automatic verification of distributed systems: the process algebra approach.
• Testing and Proving Distributed Algorithms in Constructive Type Theory
• A mechanical proof of Segall's PIF algorithm

zbMATH Keywords

distributed algorithms working notation

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

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 Q4264231)