Some of the formalisms available for concurrent
model specification
Several formalisms which allow for correctness and performance
analysis can be used to specify models of concurrent systems, for example
Petri nets, Queueing networks and Process Algebras.
