Pages that link to "Item:Q2919450"
From MaRDI portal
The following pages link to Families of Symmetries as Efficient Models of Resource Binding (Q2919450):
Displayed 10 items.
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Event based choreography (Q988170) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Causal Trees, Finally (Q3460861) (← links)
- Fast computations on ordered nominal sets (Q5918532) (← links)