The following pages link to FM 2005: Formal Methods (Q5716877):
Displaying 6 items.
- Building distributed controllers for systems with priorities (Q541297) (← links)
- On the border of causality: contact and confusion (Q672875) (← links)
- Confusion control in generalized Petri nets using synchronized events (Q1666205) (← links)
- Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232) (← links)
- Capturing Conflict and Confusion in CSP (Q3608892) (← links)
- Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets (Q5398017) (← links)