Branching time and orthogonal bisimulation equivalence / J.A. Bergstra, A. Ponse, M.B. van der Zwaag

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

rdfs:label	"Branching time and orthogonal bisimulation equivalence / J.A. Bergstra, A. Ponse, M.B. van der Zwaag"
schema:name	"Branching time and orthogonal bisimulation equivalence"
schema:author	Bergstra, Johannes Aldert (1951-)
	Centrum voor Wiskunde en Informatica (Amsterdam). Software Engineering
schema:contributor	Zwaag, Mark Bastiaan van der
	Ponse, Alban (1955-)
schema:sameAs	<http://www.worldcat.org/oclc/905502087>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/b9cc118b515eedebeeff0a5f2887ba39>
http://purl.org/dc/terms#issued	"2000"
schema:about	programmeren
	procesalgebra
schema:inLanguage	"en"
schema:isPartOf	Report / Software Engineering
schema:numberOfPages	38
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/99a1dc8cdaea84e934e4581839759437>