scientific article

zbMath0474.68033MaRDI QIDQ3929024

Michel Sintzoff, Michael Rodeh, Nissim Francez

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed computingsynchronization problemscommunication graphring of processescommunication wavescontrol cyclesprotocol for distributed termination

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes, Two normal form theorems for CSP programs, Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP, A distributed solution of the distributed termination problem