scientific article

From MaRDI portal

Revision as of 22:01, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3929024

Jump to:navigation, search

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 computing synchronization problems communication graph ring of processes communication waves control cycles protocol for distributed termination

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (4)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3929024&oldid=17605453"