Pages that link to "Item:Q5479164"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479164):
Displaying 7 items.
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- Simulations Up-to and Canonical Preorders (Q2871827) (← links)
- An Operational Semantics for Shared Messaging Communication (Q2871831) (← links)
- Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)
