Pages that link to "Item:Q5166616"
From MaRDI portal
The following pages link to Counting the Cost in the Picalculus (Extended Abstract) (Q5166616):
Displaying 5 items.
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- A type system for counting instances of software components (Q1758151) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
