Pages that link to "Item:Q2672275"
From MaRDI portal
The following pages link to Posets with interfaces as a model for concurrency (Q2672275):
Displaying 5 items.
- Catoids and modal convolution algebras (Q2686581) (← links)
- Interval traces with mutex relation (Q6535190) (← links)
- A Myhill-Nerode theorem for higher-dimensional automata (Q6535191) (← links)
- Closure and decision properties for higher-dimensional automata (Q6605362) (← links)
- Myhill-Nerode theorem for higher-dimensional automata (Q6622140) (← links)
