Concurrency as a phenomenon is observed in most of the current computer science
trends. However the inherent complexity of analyzing the behavior of such a system
is incremented due to the many different models of concurrency, the variety of applications ...