scientific article; zbMATH DE number 3900138

MaRDI QIDQ3678653zbMATH OpenFDO

Authors

Publication date 1983

zbMATH Keywords

Church-Rosser propertycommunicationdistributed programsglobal determinism

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4005586
• scientific article; zbMATH DE number 4050964
• A compositional proof system for distributed programs
• A Theory of Communicating Sequential Processes
• A Logic For Distributed Processes

Cited in

(8)

• Communication patterns and input patterns in distributed computing (invited talk)
• scientific article; zbMATH DE number 4005586 (Why is no real title available?)
• scientific article; zbMATH DE number 4050964 (Why is no real title available?)
• scientific article; zbMATH DE number 4080895 (Why is no real title available?)
• scientific article; zbMATH DE number 94709 (Why is no real title available?)
• Communication and Synchronization Primitives for Distributed Programs
• Distributed Computing – IWDC 2005
• Continuation Complexity: A Callback Hell for Distributed Systems

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