Arpit and Shafie, A.B. and Ahmad, W.F.B.W.  (2012) An introduction on extensions of process algebra: Concurrent and communicating systems.  In: UNSPECIFIED.