The following pages link to (Q4536393):
Displayed 14 items.
- Regular and context-free nominal traces (Q530218) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- Event based choreography (Q988170) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- A general framework for types in graph rewriting (Q2581012) (← links)
- A Name Abstraction Functor for Named Sets (Q2873662) (← links)
- Nominal Automata for Resource Usage Control (Q2914700) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)
- On-the-fly bisimilarity checking for fresh-register automata (Q6168987) (← links)