Parallel extension of Pascal. Processes have shared access to

data objects. Constraints on their synchronisation are

specified in a path expression.