Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. R.T. Gerth

Rob  Gerth

select other reports

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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1979/1979-11.pdf}},
pubcat = {techreport}
}