The following pages link to (Q4331844):
Displaying 5 items.
- Concurrent abstract state machines (Q303691) (← links)
- Relational Semantics Revisited (Q2810687) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- On occurrence net semantics for petri nets with contacts (Q5055945) (← links)
- Explicit Fair Scheduling for Dynamic Control (Q5187822) (← links)
