Gerald H. Hilderink

According to our database, Gerald H. Hilderink authored at least 5 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Software Specification Refinement and Verification Method with I-Mathic Studio.

Gerald H. Hilderink

Proceedings of the 29th Communicating Process Architectures Conference, 2006

2005

Managing Complexity of Control Software through Concurrency.

Gerald H. Hilderink

PhD thesis, 2005

Exception Handling Mechanism in Communicating Threads for Java.

Gerald H. Hilderink

Proceedings of the 28th Communicating Process Architectures Conference, 2005

2003

Graphical modelling language for specifying concurrency based on CSP.

Gerald H. Hilderink

IEE Proc. Softw., 2003

2000

A Distributed Real-Time Java System Based on CSP.

Gerald H. Hilderink, Andry W. P. Bakkers, Jan F. Broenink

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000