Department of Information and Computing Sciences

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

technical report UU-CS-1994-45

select other reports

report

techrep_id file title / author
UU-CS-1994-45 ps.gz
pdf
A proof system for asynchronously communicating deterministic processes
F. S. de Boer, M. van Hulst

indexed authors

author group
Boer, dr. F.S. de all reports Intelligent Systems all reports
Hulst, dr. M. van all reports Intelligent Systems all reports

BibTeX entry

@TECHREPORT{UUCS199445,
author = {Boer, F.~S.~de and Hulst, M.~van},
year = 1994,
title = {A proof system for asynchronously communicating deterministic processes},
number = {UU-CS-1994-45},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-45.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-45.pdf}},
pubcat = {techreport}
}