M. van Hulst

According to our database, M. van Hulst authored at least 7 papers between 1992 and 1998.

Collaborative distances:

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

1998

A proof theory of asynchronously communicating sequential processes.

Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp

Proceedings of the Programming Concepts and Methods, 1998

1996

Compositionality in Real-Time Shared Variable Concurrency.

Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Local Nondeterminism in Asynchronously Communicating Processes.

Frank S. de Boer, M. van Hulst

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

A Compositional Proof System for Asynchronously Communicating Processes.

Frank S. de Boer, M. van Hulst

Proceedings of the Mathematics of Program Construction, 1995

1994

An Epistemic Proof System for Parallel Processes.

M. van Hulst, John-Jules Ch. Meyer

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

A Proof System for Asynchronously Communicating Deterministic Processes.

Frank S. de Boer, M. van Hulst

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1992

Towards an Epistemic Approach to Reasoning about Concurrent Programs.

Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer

Proceedings of the Sematics: Foundations and Applications, 1992