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 | EE | Gerald H. Hilderink,
Andry W. P. Bakkers,
Jan F. Broenink:
A Distributed Real-Time Java System Based on CSP.
ISORC 2000: 400-410 |