Concurrent Clean : Process
Start w # (p,w) = createProcess w (g0,p) = createPipe f0 p (g1,p) = createPipe f1 p w = w --> eval (client g0 g1) w = killProcess p w = w where f0 :: a *World -> *World f1 :: *World -> (a,*World)
で、
g0 :: a -> Unit g1 :: Unit -> a