Pages that link to "Item:Q5756598"
From MaRDI portal
The following pages link to Event Structure Semantics for Nominal Calculi (Q5756598):
Displayed 7 items.
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)