Process Algebra with Backtracking. - Jan A. Bergstra; Alban Ponse; Jos van Wamel (REX School/Symposium, 1993)

Process Algebra with Language Matching. - Jos van Wamel (Theor. Comput. Sci., 1997)

Conformance Testing of a Multimedia System Using PHACT. - Loe M. G. Feijs; Frans A. C. Meijs; Jean R. Moonen; Jos van Wamel (IWTCS, 1998)

Editorial. - Jan Friso Groote; Bas Luttik; Jos van Wamel (Formal Aspects Comput., 1998)

A Semantic Approach to Protocold. - Sebastiaan van Vlijmen; Jos van Wamel (Algebraic Specification in Action, 1999)

Analysis of three hybrid systems in timed µCRL. - Jan Friso Groote; Jos van Wamel (Sci. Comput. Program., 2001)

The parallel composition of uniform processes with data. - Jan Friso Groote; Jos van Wamel (Theor. Comput. Sci., 2001)

Completeness of Timed mCRL. - Michel A. Reniers; Jan Friso Groote; Mark van der Zwaag; Jos van Wamel (Fundam. Informaticae, 2002)

Automatic generation of MPEG test streams from high-level grammars. - Loe M. G. Feijs; Frans A. C. Meijs; Jean R. Moonen; Jos van Wamel (Inf. Softw. Technol., 2002)