Publication:5137355
From MaRDI portal
zbMath1448.68128MaRDI QIDQ5137355
Publication date: 2 December 2020
Full work available at URL: https://link.springer.com/article/10.1007/s004460050048
synchronization; causality; distributed system; concurrency; time; atomicity; distributed computation; global predicates
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14: Distributed systems