Pages that link to "Item:Q2503326"
From MaRDI portal
The following pages link to Bisimulation on speed: a unified approach (Q2503326):
Displaying 7 items.
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- (Q5146599) (← links)
- Foundations of Software Science and Computation Structures (Q5308460) (← links)
- Foundations of Software Science and Computational Structures (Q5705910) (← links)