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

technical reports : dr. R.T. Gerth

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	dr. R.T. Gerth

reports (9)

techrep_id	file	title / author
RUU-CS-84-12	pdf	The $mu$-calculus as an assertion language for fairness arguments F.A. Stomp and W.P. de Roever and R.T. Gerth
RUU-CS-84-06	pdf	Compositional semantics for real-time distributed computing R.K. Shyamasundar and W.P. de Roever and R. Gerth and R. Koymans and S. Arun-Kumar
RUU-CS-83-17	pdf	Transition logic R. Gerth
RUU-CS-83-02	pdf	A proof system for concurrent ADA programs R.T. Gerth and W.P. de Roever
RUU-CS-82-10	pdf	A study in distributed systems and Dutch patriotism R.T. Gerth and W.P. de Roever and M. Roncken
RUU-CS-82-05	pdf	A sound and complete Hoare axiomatization of the ADA-rendezvous (extended abstract.) R. Gerth
RUU-CS-81-17	pdf	A proof system for a subset of the concurrency section of ADA R.T. Gerth
RUU-CS-81-12	not online	A proof system for Brinch Hansen's distributed processes (extended abstract) M. Roncken and R. Gerth and W.P. de Roever
RUU-CS-79-11	pdf	Software support for an intelligent terminal W. Boerhout and A.P.W. Bohm and R. Gerth

indexed (co) authors

author		group
Böhm, prof. dr. ir. A.P.W.	all reports	algorithmic systems	all reports
Gerth, dr. R.T.	all reports	algorithmic systems	all reports
Roever, prof. dr. W-P de	all reports	algorithmic systems	all reports

BibTeX entries

@TECHREPORT{RUUCS8412,
author = {Stomp, F.A. and Roever, W.P.~de and Gerth, R.T.},
year = 1984,
title = {The $mu$-calculus as an assertion language for fairness arguments},
number = {RUU-CS-84-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1984/1984-12.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8406,
author = {Shyamasundar, R.K. and Roever, W.P.~de and Gerth, R. and Koymans, R. and Arun-Kumar, S.},
year = 1984,
title = {Compositional semantics for real-time distributed computing},
number = {RUU-CS-84-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1984/1984-06.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8317,
author = {Gerth, R.},
year = 1983,
title = {Transition logic},
number = {RUU-CS-83-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1983/1983-17.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8302,
author = {Gerth, R.T. and Roever, W.P.~de},
year = 1983,
title = {A proof system for concurrent ADA programs},
number = {RUU-CS-83-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1983/1983-02.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8210,
author = {Gerth, R.T. and Roever, W.P.~de and Roncken, M.},
year = 1982,
title = {A study in distributed systems and Dutch patriotism},
number = {RUU-CS-82-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1982/1982-10.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8205,
author = {Gerth, R.},
year = 1982,
title = {A sound and complete Hoare axiomatization of the ADA-rendezvous (extended abstract.)},
number = {RUU-CS-82-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1982/1982-05.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8117,
author = {Gerth, R.T.},
year = 1981,
title = {A proof system for a subset of the concurrency section of ADA},
number = {RUU-CS-81-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1981/1981-17.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8112,
author = {Roncken, M. and Gerth, R. and Roever, W.P.~de},
year = 1981,
title = {A proof system for Brinch Hansen's distributed processes (extended abstract)},
number = {RUU-CS-81-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}

@TECHREPORT{RUUCS7911,
author = {Boerhout, W. and Bohm, A.P.W. and Gerth, R.},
year = 1979,
title = {Software support for an intelligent terminal},
number = {RUU-CS-79-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1979/1979-11.pdf}},
pubcat = {techreport}
}