The following pages link to (Q3657408):
Displayed 4 items.
- Fairness and conspiracies (Q802310) (← links)
- An investigation of controls for concurrent systems based on abstract control languages (Q1060008) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- The weakest precondition calculus: Recursion and duality (Q1346768) (← links)