Pages that link to "Item:Q5415643"
From MaRDI portal
The following pages link to A Categorical Model of the Fusion Calculus (Q5415643):
Displayed 10 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← 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)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)