An algebraic specification of process algebra, including two examples / by S. MauwA constructive version of the approximation induction priciple / by S. MauwProcess algebra as a tool for the specification and verification of CIM-architectures / S. MauwA process specification formalism / S. Mauw, G.J. VeltinkPSF : a process specification formalism / Sjouke MauwAn algebraic semantics of basic message sequence charts / by S. Mauw and M.A. ReniersAn algebraic semantics of Message Sequence Charts / by S. Mauw and M.A. ReniersRegularity of BPA-systems is decidable / by S. Mauw and H. MulderSpecification of tools for message sequence charts / by S. Mauw, E.A. van der MeulenEmpty interworkings and refinement semantics of interworkings revised / by S. Mauw and M.A. ReniersExample specifications in phi-SDL / by S. MauwA process algebra for interworkings / by S. Mauw and M.A. ReniersMessage sequence charts in the software engineering process / by S. Mauw, M.A. Reniers and T.A.C. WillemseLanguage-driven system design / by S. Mauw, W.T. Wiersma and T.A.C. Willemse
author
Delayed choice: an operator for joining Message Sequence Charts / by J.C.M. Baeten and S. MauwA hierarchy of communication models for message sequence charts / by A. Engels, S. Mauw and M.A. ReniersWhy men (and octopuses) cannot juggle a four ball cascade / by A. Engels, S. MauwImpossible futures and determinism / by M. Voorhoeve and S. MauwSpecifying internet applications with Dicons / by J.C.M. Baeten, H.M.A. van Beek, S. MauwOperational semantics of DiCons, a formal language for developing internet applications / by J.C.M. Baeten, H.M.A. van Beek and S. Mauw