Pages that link to "Item:Q2873662"
From MaRDI portal
The following pages link to A name abstraction functor for named sets (Q2873662):
Displaying 8 items.
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Event based choreography (Q988170) (← links)
- Families of symmetries as efficient models of resource binding (Q2919450) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- (Q4335236) (← links)