M. van Hulst
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1994–1996
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | FM | Local Nondeterminism in Asynchronously Communicating Processes. | Frank S. de Boer, M. van Hulst |
| 1995 | MPC | A Compositional Proof System for Asynchronously Communicating Processes. | Frank S. de Boer, M. van Hulst |
| 1994 | MFCS | A Proof System for Asynchronously Communicating Deterministic Processes. | Frank S. de Boer, M. van Hulst |
| 1994 | TARK | An Epistemic Proof System for Parallel Processes. | M. van Hulst, John-Jules Ch. Meyer |