Pages that link to "Item:Q1822234"
From MaRDI portal
The following pages link to Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP (Q1822234):
Displaying 8 items.
- Flush primitives for asynchronous distributed systems (Q910192) (← links)
- On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes (Q1090104) (← links)
- A framework for viewing atomic events in distributed computations (Q1128710) (← links)
- Proving partial order properties (Q1322161) (← links)
- Techniques and applications of computation slicing (Q1953245) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- Synchronous, asynchronous, and causally ordered communication (Q5137015) (← links)
- Efficient detection of restricted classes of global predicates (Q6084564) (← links)
