Publikationsansicht

Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R0008 (2008)

Abstract

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.1788
Quelle	http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0008.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Con uence, State Space, Reduction, Branching Bisimulation
Typ	text
Sprache	Englisch