The following pages link to (Q3077363):
Displayed 7 items.
- Concurrent abstract state machines (Q303691) (← links)
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- A Proof System with Bounded Non-determinism in Database Transformations (Q3092325) (← links)
- Abstract State Machines for Data-Parallel Computing (Q3224004) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic (Q5881450) (← links)