scientific article
From MaRDI portal
zbMath0566.68021MaRDI QIDQ3681912
Krzysztof R. Apt, Jean-Luc Richier
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
clock synchronizationby local virtual clocksglobal real time clockSymmetric distributed termination algorithms
Related Items
Distributed termination on a ring, 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