Department of Information and Computing Sciences

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

technical report RUU-CS-81-12

select other reports

report

techrep_id file title / author
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

indexed authors

author group
Gerth, dr. R.T. all reports Algorithmic Systems all reports
Roever, prof. dr. W-P de all reports Algorithmic Systems all reports

BibTeX entry

@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}
}