The following pages link to A Category of Explicit Fusions (Q3507388):
Displaying 5 items.
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
