Publikationsansicht

Branching Time and Orthogonal Bisimulation Equivalence (2000)

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=?doi=10.1.1.106.3474
Quelle	http://ftp.cwi.nl/CWIreports/SEN/SEN-R0035.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Orthogonal Bisimulation, Branching Time, Process Algebra, Silent Step
Typ	text
Sprache	Englisch