Abstract switches: a distributed model of communication and computation

MaRDI QIDQ5190787zbMATH OpenFDO

Authors Sanjiva Prasad

Publication date 27 July 2009

zbMATH Keywords

communicating systemsdistributed systemsformal models of computing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A switch, in time
• The synthesis of communication protocols
• On Communicating Finite-State Machines
• A model and temporal proof system for networks of processes
• Algebraic specification and verification of communication protocols

Cited in

(1)

• A switch, in time

This page was built for publication: Abstract switches: a distributed model of communication and computation

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