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.