We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised in 1990 to model and study the behaviour of interacting programs and systems. The language is improved in several respects guided by the experience obtained from numerous applications where realistic systems have been modelled and analysed. Just as with µCRL, the leading principle is to provide a minimal set of primitives that allow effective specifications, that conform to standard mathematics and that allow standard mathematical manipulations and proof methodologies. In the first place the equational abstract datatypes have been enhanced with higher-order constructs and standard data types, ranging from booleans, numbers and lists to sets, b...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
Abstract. We introduce mCRL2, a specification language that can be used to specify and analyse the b...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
Abstract. We introduce mCRL2, a specification language that can be used to specify and analyse the b...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...
Abstract. We introduce mCRL2, a specification language that can be used to specify and analyse the b...
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour o...