Go backward to Retaining Multiple Stores Go up to Top |
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.