The following pages link to Concurrent abstract state machines (Q303691):
Displaying 17 items.
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- A logic for secure memory access of abstract state machines (Q555787) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Axiomatization and characterization of BSP algorithms (Q2011205) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- Formal specification and verification of the C\(\#\) thread model (Q2571209) (← links)
- (Q4520494) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- A Characterization of Distributed ASMs with Partial-Order Runs (Q5040367) (← links)
- Abstract state machines capture parallel algorithms (Q5267442) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- Capturing Membrane Computing by ASMs (Q5881453) (← links)
