scientific article; zbMATH DE number 1088214

zbMATH Open0888.68083MaRDI QIDQ4364530FDOQ4364530

Authors: Burghard von Karger 

Publication date: 15 December 1997

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

Recommendations

• Formal derivation of an algorithm for distributed phase synchronization
• scientific article; zbMATH DE number 3997155
• scientific article; zbMATH DE number 1004221
• scientific article; zbMATH DE number 222692
• scientific article; zbMATH DE number 3846849

zbMATH Keywords

phase synchronization problem

Mathematics Subject Classification ID

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

Cited In (2)

• Specifying termination in CSP
• Angelic processes for CSP via the UTP

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