scientific article; zbMATH DE number 4018375

MaRDI QIDQ3030244zbMATH OpenFDO

Authors Tony Hoare

Publication date 1987

zbMATH Keywords

algebraic equationscommunicationsprocessesspecifications

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3903946
• scientific article; zbMATH DE number 3978362
• A Theory of Communicating Sequential Processes
• Process algebra for synchronous communication
• scientific article; zbMATH DE number 5263402

Cited in

(29)

• Higher-order communications for concurrent programming
• Top-down design and the algebra of communicating processes
• Denotational semantics of communicating sequential programs
• Algebraic specification and proof of a distributed recovery algorithm
• Views of queues
• Example verifications using alphabet axioms
• Two finite specifications of a queue
• Algebraic specification and verification of communication protocols
• scientific article; zbMATH DE number 4018374 (Why is no real title available?)
• Modeling and analysis of communicating systems
• scientific article; zbMATH DE number 3874577 (Why is no real title available?)
• scientific article; zbMATH DE number 4210119 (Why is no real title available?)
• A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
• scientific article; zbMATH DE number 3903946 (Why is no real title available?)
• Process algebra for synchronous communication
• Proving systolic systems correct
• scientific article; zbMATH DE number 3978362 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4062561 (Why is no real title available?)
• scientific article; zbMATH DE number 30325 (Why is no real title available?)
• scientific article; zbMATH DE number 1943791 (Why is no real title available?)
• scientific article; zbMATH DE number 3999273 (Why is no real title available?)
• scientific article; zbMATH DE number 845595 (Why is no real title available?)
• Algebraic Specification of Communication Protocols
• Equations for message passing
• The parallel composition of uniform processes with data
• A note on the notation of recursion in process algebras
• Computing with actions and communications

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