Pages that link to "Item:Q618165"
From MaRDI portal
The following pages link to Symmetries, local names and dynamic (de)-allocation of names (Q618165):
Displayed 12 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)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← 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)