A proof system for asynchronously communicating deterministic processes / F.S. de Boer, M. van Hulst

<http://data.bibliotheken.nl/id/nbt/p124448267>

rdfs:label	"A proof system for asynchronously communicating deterministic processes / F.S. de Boer, M. van Hulst"
schema:name	"A proof system for asynchronously communicating deterministic processes"
schema:author	Vrije Universiteit (Amsterdam). Faculteit der Wiskunde en Informatica
	Boer, Frank Sipke de (1956-)
schema:contributor	Hulst, Marten van (1968-)
schema:sameAs	<http://www.worldcat.org/oclc/67460807>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/5ddb4cd5bc6f855dbec45536930a4dad>
http://purl.org/dc/terms#issued	"1994"
schema:about	programmeertalen
schema:inLanguage	"en"
schema:isPartOf	Informatica rapport / Wiskundig Seminarium der Vrije Universiteit
schema:numberOfPages	19
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/b0c021ab8b63b25e018eba5c5b597251>