The following pages link to (Q4536393):
Displaying 16 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)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← 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)
- Modeling fresh names in the {\(\pi\)}-calculus using abstractions (Q2847805) (← 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)
- (Q4484504) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)