mCRL process algebra lang

mCRL2 is a spec lang for concurrent discrete event systems, with a toolset for sim, analysis and visualization of algebra of communicating processes behavior and abstract equational data types

Created by :

JD

Webmix users:

3 Users