scientific article; zbMATH DE number 4018360

MaRDI QIDQ3030233zbMATH OpenFDO

Authors Manfred Broy, Thomas Streicher

Publication date 1987

zbMATH Keywords

concurrent programsdistributed programsspecification

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3868587
• Modelling distributed systems.
• Modelling and verification of Distributed Algorithms
• scientific article; zbMATH DE number 3898215
• Distributed cooperation with action systems

Cited in

(6)

• scientific article; zbMATH DE number 3888905 (Why is no real title available?)
• scientific article; zbMATH DE number 3868587 (Why is no real title available?)
• scientific article; zbMATH DE number 1343481 (Why is no real title available?)
• scientific article; zbMATH DE number 2080045 (Why is no real title available?)
• Step failures semantics and a complete proof system
• A partial ordering semantics for CCS

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