1. Al-Mulhem M, Ali S. Visual Occam with petri net semantics. Seventh International Conference on Parallel and Distributed Computing Systems, Las Vegas, Nevada, Oct 6–8, 1994:746–54
2. Visual occam: syntax and semantics;Al-Mulhem;Computer Languages,1997
3. Milner R. Communication and concurrency. Englewood Cliffs: Prentice Hall, 1989
4. I-pigs: an interactive graphical environment for concurrent programming;Pong;The Computer Journal,1991
5. Communicating sequential processes;Hoare;CACM,1978