Pages that link to "Item:Q2847810"
From MaRDI portal
The following pages link to Relationally staged computations in calculi of mobile processes (Q2847810):
Displaying 14 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)
- (Q4490739) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)