Publication:4187304
From MaRDI portal
zbMath0402.68027MaRDI QIDQ4187304
Andrea Maggiolo-Schettini, Józef Winkowski, Horst F. Wedde
Publication date: 1979
Concurrency; Processes; Correctness; Control Problem in Distributed Systems; Loosely Coupled Systems
68N25: Theory of operating systems