It is aimed to study the models of concurrency in the context of finite state systems, in order to understand the nature of distributed computing, and to help the design and analysis of distributed systems. Process models ...