Department of Information and Computing Sciences

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

technical report UU-CS-1996-05

select other reports

report

techrep_id file title / author
UU-CS-1996-05 pdf A Proof Theory of Asynchronously Communicating Sequential Processes
F.S. de Boer and N. Francez and M. van Hulst and F.A. Stomp

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{UUCS199605,
author = {Boer, F.S.~de and Francez, N. and Hulst, M.~van and Stomp, F.A.},
year = 1996,
title = {A Proof Theory of Asynchronously Communicating Sequential Processes},
number = {UU-CS-1996-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-05.pdf}},
pubcat = {techreport}
}