M. van Hulst

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Publications

Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp
A proof theory of asynchronously communicating sequential processes. PROCOMET (1998)
Frank S. de Boer, M. van Hulst
Local Nondeterminism in Asynchronously Communicating Processes. FME (1996)
Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst
Compositionality in Real-Time Shared Variable Concurrency. FTRTFT (1996)
Frank S. de Boer, M. van Hulst
A Compositional Proof System for Asynchronously Communicating Processes. MPC (1995)
Frank S. de Boer, M. van Hulst
A Proof System for Asynchronously Communicating Deterministic Processes. MFCS (1994)
M. van Hulst, John-Jules Ch. Meyer
An Epistemic Proof System for Parallel Processes. TARK (1994)
Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer
Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop (1992)