Towards an Epistemic Approach to Reasoning about Concurrent Programs. - Wiebe van der Hoek; M. van Hulst; John-Jules Ch. Meyer (REX Workshop, 1992)

A Proof System for Asynchronously Communicating Deterministic Processes. - Frank S. de Boer; M. van Hulst (MFCS, 1994)

An Epistemic Proof System for Parallel Processes. - M. van Hulst; John-Jules Ch. Meyer (TARK, 1994)

A Compositional Proof System for Asynchronously Communicating Processes. - Frank S. de Boer; M. van Hulst (MPC, 1995)

Local Nondeterminism in Asynchronously Communicating Processes. - Frank S. de Boer; M. van Hulst (FME, 1996)

Compositionality in Real-Time Shared Variable Concurrency. - Frank S. de Boer; H. Tej; Willem P. de Roever; M. van Hulst (FTRTFT, 1996)

A proof theory of asynchronously communicating sequential processes. - Frank S. de Boer; Nissim Francez; M. van Hulst; Frank A. Stomp (PROCOMET, 1998)