The following pages link to (Q4353638):
Displaying 5 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
