Jos van Wamel

According to our database, Jos van Wamel authored at least 9 papers between 1993 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Completeness of Timed mCRL.

Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel

Fundam. Informaticae, 2002

2001

The parallel composition of uniform processes with data.

Jan Friso Groote, Jos van Wamel

Theor. Comput. Sci., 2001

Analysis of three hybrid systems in timed µCRL.

Jan Friso Groote, Jos van Wamel

Sci. Comput. Program., 2001

1999

A Semantic Approach to Protocold.

Sebastiaan van Vlijmen, Jos van Wamel

Proceedings of the Algebraic Specification in Action, 1999

1998

Editorial.

Jan Friso Groote, Bas Luttik, Jos van Wamel

Formal Aspects Comput., 1998

Conformance Testing of a Multimedia System Using PHACT.

Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1997

Process Algebra with Language Matching.

Jos van Wamel

Theor. Comput. Sci., 1997

1993

Process Algebra with Backtracking.

Jan A. Bergstra, Alban Ponse, Jos van Wamel

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993