scientific article; zbMATH DE number 1337890

MaRDI QIDQ4264236zbMATH OpenFDO

Authors Sibylle Peuker, Ekkart Kindler

Publication date 16 September 1999

zbMATH Keywords

distributed algorithms' working notation

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modelling and verification of Distributed Algorithms
• scientific article; zbMATH DE number 1337885
• scientific article; zbMATH DE number 1953037
• Testing and Proving Distributed Algorithms in Constructive Type Theory
• Structuring and verifying distributed algorithms

Cited in

(1)

• scientific article; zbMATH DE number 5287368 (Why is no real title available?)

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