Pages that link to "Item:Q5756598"
From MaRDI portal
The following pages link to Event Structure Semantics for Nominal Calculi (Q5756598):
Displayed 12 items.
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- A verified algorithm enumerating event structures (Q2364684) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← 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)