Formal derivation of a protocol in CSP

MaRDI QIDQ4364530zbMATH OpenFDO

Authors Burghard von Karger

Publication date 15 December 1997

zbMATH Keywords

phase synchronization problem

Mathematics Subject Classification ID

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

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

Cited in

(3)

• Angelic processes for CSP via the UTP
• Specifying termination in CSP
• Formal derivation of an algorithm for distributed phase synchronization

This page was built for publication: Formal derivation of a protocol in CSP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364530)