Pages that link to "Item:Q598200"
From MaRDI portal
The following pages link to Bisimulation on speed: Worst-case efficiency (Q598200):
Displaying 9 items.
- Performance of pipelined asynchronous systems (Q864507) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- Fairness of components in system computations (Q2491632) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- Foundations of Software Science and Computation Structures (Q5308460) (← links)
- Foundations of Software Science and Computational Structures (Q5705910) (← links)