Pages that link to "Item:Q5705910"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705910):
Displaying 6 items.
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- Simulations up-to and canonical preorders (extended abstract) (Q2871827) (← links)
- (Q5146599) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)
- Foundations of Software Science and Computation Structures (Q5308460) (← links)