Pages that link to "Item:Q1161282"
From MaRDI portal
The following pages link to Synchronized behaviours of processes and rational relations (Q1161282):
Displayed 5 items.
- Step failures semantics and a complete proof system (Q582133) (← links)
- Restrictions and representations of vector controlled concurrent system behaviours (Q1391736) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- A Theory for the Composition of Concurrent Processes (Q2827466) (← links)
- The intersection problem for alphabetic vector monoids (Q4365015) (← links)