HOME       UP       PREV       NEXT (Declarative Design using Atomic Actions)  

Behavioural Expression using Threads

We express the algorithm and steps to be performed as an executable program

Either way, the tool chain may:


The Kiwi, C-omega and Handel-C approaches are unusual: start with parallel programs and exploit the scheduler non-determinacy to allow variations in implementation.

8: (C) 2008-13, DJ Greaves, University of Cambridge, Computer Laboratory.