previous up next
Go backward to Retaining Multiple Stores
Go up to Top
RISC-Linz logo

Non-Communicating Commands

combine: D × D -> D
Domain s in Store = Id -> D

C: Command -> Store_|_ -> Store_|_
C[[C1; C2]] = lambda s. join (C[[C1]]s) (C[[C2]]s)

join: Store_|_ -> Store_|_ -> Store_|_
join = lambda s1.lambda s2. (lambda i. s1(i) combine s2(i))

Parallel but non-interfering parallelism.


Author: Wolfgang Schreiner
Last Modification: November 5, 1997

previous up next