PFL Examples

• [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..--(