home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. M. van Hulst

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. M. van Hulst

• contact information
• my technical reports
• former member of group intelligent systems

some publications

Boer, F.S. de, Francez, N. & Hulst, M. van (1998). A proof theory of asynchronously communicating sequential processes. In Proceedings IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'98). North-Holland.

Boer, F.S. de & Hulst, M. van (1996). A Compositional Proof System for Asynchronously Communicating Processes. (UU-CS1996-06 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Hulst, M. van & Meyer, J-J.Ch. (1996). A Knowledge-Based Compositional Proof System for Parallel Processes. (UU-CS1996-19 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Boer, F.S. de & Hulst, M. van (1996). A Proof Theory of Asynchronously Communicating Sequential Processes. (UU-CS1996-05 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Boer, F.S. de, Roever, W-P de, Tej, H. & Hulst, M. van (1996). Compositionality in real-time shared variable. In B. Jonsson & J. Parrow (Eds.), Proceedings of the School and Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems (pp. 420-440).

Boer, F.S. de & Hulst, M. van (1996). Local nondeterminism in asynchronously communicating processes. In M.C. Gaudel & J. Woodcock (Eds.), Proceedings of Formal Methods Europe '96 (pp. 367-384).

Boer, F.S. de & Hulst, M. van (1994). A proof system for asynchronously communicating deterministic processes. (UU-CS1994-45 ). Utrecht: Utrecht.