The following pages link to (Q3997127):
Displaying 4 items.
- The causal ordering abstraction and a simple way to implement it (Q1183422) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Petri net based verification of distributed algorithms: An example (Q1377301) (← links)
- Self-stabilizing synchronous unison in directed networks (Q6499546) (← links)
