|
- [buffer] -- bounded buffer process
- [factorial] -- in parallel ||
- [server] -- and clients
- [merge sort]
- [Prime numbers] -- || sieve
- [Hamming numbers] -- by || processes
- [pass actions] -- etc. down channels
- Deadlock
let ch1=chan, ch2=chan
in ch1!1 -> ch2!2 -> stop ||
ch2?x -> ch1?y -> output!x+y -> stop
{ Deadlock. }
|
- -- one process wants to interact on ch1 and
then (->) on ch2,
the other one v.v..--(
|| factorial:
|