Pages that link to "Item:Q3000621"
From MaRDI portal
The following pages link to Freshness and Name-Restriction in Sets of Traces with Names (Q3000621):
Displaying 12 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Game semantics approach to higher-order complexity (Q2396718) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- (Q5028487) (← links)
- (Q5089311) (← links)
- Reversible Kleene lattices (Q5111283) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)
