| 1998 |
|---|
| 7 | | Frank S. de Boer,
Nissim Francez,
M. van Hulst,
Frank A. Stomp:
A proof theory of asynchronously communicating sequential processes.
PROCOMET 1998: 49-67 |
| 1996 |
|---|
| 6 | | Frank S. de Boer,
M. van Hulst:
Local Nondeterminism in Asynchronously Communicating Processes.
FME 1996: 367-384 |
| 5 | | Frank S. de Boer,
H. Tej,
Willem P. de Roever,
M. van Hulst:
Compositionality in Real-Time Shared Variable Concurrency.
FTRTFT 1996: 420-439 |
| 1995 |
|---|
| 4 | | Frank S. de Boer,
M. van Hulst:
A Compositional Proof System for Asynchronously Communicating Processes.
MPC 1995: 197-213 |
| 1994 |
|---|
| 3 | | Frank S. de Boer,
M. van Hulst:
A Proof System for Asynchronously Communicating Deterministic Processes.
MFCS 1994: 256-265 |
| 2 | | M. van Hulst,
John-Jules Ch. Meyer:
An Epistemic Proof System for Parallel Processes.
TARK 1994: 243-254 |
| 1992 |
|---|
| 1 | | Wiebe van der Hoek,
M. van Hulst,
John-Jules Ch. Meyer:
Towards an Epistemic Approach to Reasoning about Concurrent Programs.
REX Workshop 1992: 261-287 |
