Jos van Wamel

Publication Activity (10 Years)

Years Active: 1993-2002
Publications (10 Years): 0

Publications

Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel
Automatic generation of MPEG test streams from high-level grammars. Inf. Softw. Technol. 44 (12) (2002)
Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
Completeness of Timed mCRL. Fundam. Informaticae 50 (3-4) (2002)
Jan Friso Groote, Jos van Wamel
The parallel composition of uniform processes with data. Theor. Comput. Sci. 266 (1-2) (2001)
Jan Friso Groote, Jos van Wamel
Analysis of three hybrid systems in timed µCRL. Sci. Comput. Program. 39 (2-3) (2001)
Sebastiaan van Vlijmen, Jos van Wamel
A Semantic Approach to Protocold. Electron. Notes Theor. Comput. Sci. 21 (1999)
Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel
Conformance Testing of a Multimedia System Using PHACT. IWTCS (1998)
Jan Friso Groote, Bas Luttik, Jos van Wamel
Editorial. Formal Aspects Comput. 10 (5-6) (1998)
Jos van Wamel
Process Algebra with Language Matching. Theor. Comput. Sci. 177 (2) (1997)
Jan A. Bergstra, Alban Ponse, Jos van Wamel
Process Algebra with Backtracking. REX School/Symposium (1993)