Pages that link to "Item:Q2392481"
From MaRDI portal
The following pages link to A presheaf environment for the explicit fusion calculus (Q2392481):
Displaying 6 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
