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

technical reports : dr. M. van Hulst

select other reports

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

this selection

author	dr. M. van Hulst

reports (4)

techrep_id	file	title / author
UU-CS-1996-19	pdf	A Knowledge-Based Compositional Proof System for Parallel Processes M. van Hulst and J.-J.Ch. Meyer
UU-CS-1996-06	pdf	A Compositional Proof System for Asynchronously Communicating Processes F.S. de Boer and M. van Hulst
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
UU-CS-1994-45	ps.gz pdf	A proof system for asynchronously communicating deterministic processes F. S. de Boer, M. van Hulst

indexed (co) authors

author		group
Boer, dr. F.S. de	all reports	intelligent systems	all reports
Hulst, dr. M. van	all reports	intelligent systems	all reports
Meyer, prof. dr. J-J.Ch.	all reports	intelligent systems	all reports

BibTeX entries

@TECHREPORT{UUCS199619,
author = {Hulst, M.~van and Meyer, J.-J.Ch.},
year = 1996,
title = {A Knowledge-Based Compositional Proof System for Parallel Processes},
number = {UU-CS-1996-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-19.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199606,
author = {Boer, F.S.~de and Hulst, M.~van},
year = 1996,
title = {A Compositional Proof System for Asynchronously Communicating Processes},
number = {UU-CS-1996-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-06.pdf}},
pubcat = {techreport}
}

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

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