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

publications by dr. R.T. Gerth

• 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. R.T. Gerth

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

some publications

Gerth, R.T. & Roever, W-P de (1983). A proof system for concurrent ADA programs. RUU-CS 83-02. Utrecht.

Gerth, R.T. (1983). Transition logic. RUU-CS 83-17. Utrecht.

Gerth, R.T. (1982). A sound and complete Hoare axiomatization of the ADA-rendezvous (extended abstract.). RUU-CS 82-05. Utrecht.

Gerth, R.T. & Roever, W-P de (1982). A study in distributed systems and Dutch patriotism. RUU-CS 82-10. Utrecht.

Roncken, M., Gerth, R.T. & Roever, W-P de (1981). A proof system for Brinch Hansen's distributed processes (extended abstract). RUU-CS 81-12. Utrecht.

Gerth, R.T. (1981). A proof system for a subset of the concurrency section of ADA. RUU-CS 81-17. Utrecht.

Boerhout, W., Bohm, A.P.W. & Gerth, R.T. (1979). Software support for an intelligent terminal. RUU-CS 79-11. Utrecht.