Pages that link to "Item:Q5308460"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308460):
Displaying 7 items.
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Measuring the performance of asynchronous systems with PAFAS (Q1781997) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- (Q5146599) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)
- Foundations of Software Science and Computational Structures (Q5705910) (← links)