 | 2006 |
|---|
| 4 |       | Gerald H. Hilderink:
Software Specification Refinement and Verification Method with I-Mathic Studio.
CPA 2006: 297-310 |
| 2005 |
|---|
| 3 | | Gerald H. Hilderink:
Exception Handling Mechanism in Communicating Threads for Java.
CPA 2005: 317-334 |
| 2003 |
|---|
| 2 | | Gerald H. Hilderink:
Graphical modelling language for specifying concurrency based on CSP.
IEE Proceedings - Software 150(2): 108-120 (2003) |
| 2000 |
|---|
| 1 |  | Gerald H. Hilderink,
Andry W. P. Bakkers,
Jan F. Broenink:
A Distributed Real-Time Java System Based on CSP.
ISORC 2000: 400-410 |
