Pages that link to "Item:Q2566037"
From MaRDI portal
The following pages link to Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037):
Displaying 20 items.
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- A Name Abstraction Functor for Named Sets (Q2873662) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- Causality for mobile processes (Q4645219) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)
- A Compositional Coalgebraic Model of a Fragment of Fusion Calculus (Q5262958) (← links)
