Pages that link to "Item:Q3608892"
From MaRDI portal
The following pages link to Capturing Conflict and Confusion in CSP (Q3608892):
Displaying 5 items.
- Building distributed controllers for systems with priorities (Q541297) (← links)
- Confusion control in generalized Petri nets using synchronized events (Q1666205) (← links)
- Confusion analysis and detection for workflow nets (Q2321511) (← links)
- Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232) (← links)
- FM 2005: Formal Methods (Q5716877) (← links)