Pages that link to "Item:Q853745"
From MaRDI portal
The following pages link to About permutation algebras, (pre)sheaves and named sets (Q853745):
Displaying 21 items.
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Event based choreography (Q988170) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← 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)
- A Name Abstraction Functor for Named Sets (Q2873662) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Equational presentations of functors and monads (Q3005991) (← links)
- Causal Trees, Finally (Q3460861) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Algebras for Tree Decomposable Graphs (Q5100734) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)
