The following pages link to (Q2847810):
Displaying 13 items.
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
