Pages that link to "Item:Q2873662"
From MaRDI portal
The following pages link to A Name Abstraction Functor for Named Sets (Q2873662):
Displayed 6 items.
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← 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)