The following pages link to (Q4385544):
Displaying 7 items.
- Concurrent abstract state machines (Q303691) (← links)
- An algorithm for FIFO message delivery among migrating tasks (Q673994) (← links)
- Rapid convergence of a local load balancing algorithm for asynchronous rings (Q1292435) (← links)
- Bounded time-stamping in message-passing systems (Q1853588) (← links)
- Invariants, composition, and substitution (Q1894676) (← links)
- Architectural CCS (Q1914040) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
