The following pages link to (Q3793718):
Displaying 9 items.
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- The asynchronous bounded-cycle model (Q719298) (← links)
- Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms (Q911262) (← links)
- Shared global states in distributed computations (Q1384536) (← links)
- Consensus using omega in asynchronous systems with unknown membership and degenerative Byzantine failures (Q2009633) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- On-line computations of the ideal lattice of posets (Q4850326) (← links)
- Measuring concurrency of regular distributed computations (Q5096760) (← links)
- The inhibition spectrum and the achievement of causal consistency (Q5137324) (← links)
