Pages that link to "Item:Q618165"
From MaRDI portal
The following pages link to Symmetries, local names and dynamic (de)-allocation of names (Q618165):
Displaying 17 items.
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- Comparing operational models of name-passing process calculi (Q2495643) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Comparing operational models of name-passing process calculi (Q2847808) (← links)
- A name abstraction functor for named sets (Q2873662) (← links)
- Relating two semantics of locally scoped names (Q2915698) (← links)
- Families of symmetries as efficient models of resource binding (Q2919450) (← links)
- Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Causal Trees, Finally (Q3460861) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- (Q4972736) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)
- Fast computations on ordered nominal sets (Q5918532) (← links)