Parallel Composition

Next: , Previous: Error Handing, Index: Index

Parallel composition is the parallel equivalent of sequential composition. Whereas [statement1] ; [statement2] will execute statement 1 and then statement 2, [statement1] || [statement2] will execute both statements at the same time.

[statement1] || [statement2]

Examples

var j:=23 || (var q:=9; print[q,"\n"])

Here one process will declare j to be an integer, with value 23. Another process will declare q to be an integer, with value 9 and then display its value.

Last Modified: August 2008