Rigorous theory and real-world applications for modeling and analysis of the behavior of
complex communicating computer systems Complex communicating computer systems …

Process algebra is a widely accepted and much used technique in the specification and
verification of parallel and distributed software systems. This book sets the standard for the …

We introduce mCRL2, a specification language that can be used to specify and analyse the
behaviour of distributed systems. This language is the successor of the mCRL specification …

In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to
define operational semantics of programming languages by a set of rules of a certain shape …

A distributed system is driven by separate components that are executed in parallel, and
protocols for such systems form a major aspect of system design in today's world of wireless …

We propose a procedure for automatically verifying properties (expressed in an extension of
the modal μ-calculus) over processes with data, specified in μCRL. We first briefly review …

In informal mathematical discourse (such as the text of a paper on theoretical computer
science), we often reason about equalities involving binding of object-variables. We find …

The story that leads to this thesis began back in May 1996, when Kees Middelburg visited
Kiev with lectures on process algebra and SDL semantics, and invited me to work on these …

Nowadays, due to increasing system complexity and growing competition and costs,
industry makes high demands on powerful techniques used to design and analyze …

We present the formalization of a theory of syntax with bindings that has been developed
and refined over the last decade to support several large formalization efforts. Terms are …