From the happened-before relation to the causal ordered set abstraction
From MaRDI portal
Publication:433461
DOI10.1016/j.jpdc.2012.02.015zbMath1242.68026MaRDI QIDQ433461
S. E. Pomares Hernandez, J. R. Perez Cruz, Michel Raynal
Publication date: 13 July 2012
Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jpdc.2012.02.015
68M14: Distributed systems
Cites Work
- Data-stream-based global event monitoring using pairwise interactions
- On interprocess communication. I: Basic formalism
- Interval consistency of asynchronous distributed computations
- State space reduction using partial order techniques
- A NOTE ON THE DETERMINATION OF THE IMMEDIATE PREDECESSORS IN A DISTRIBUTED COMPUTATION
- Time, clocks, and the ordering of events in a distributed system