The following pages link to (Q4520494):
Displaying 10 items.
- Concurrent abstract state machines (Q303691) (← links)
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Cubic finite state machine (Q2819866) (← links)
- Finite state machine based: SDL (Q2906935) (← links)
- (Q4536434) (← links)
- (Q4551151) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- A Characterization of Distributed ASMs with Partial-Order Runs (Q5040367) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)