Publikationsansicht

11 Modal characterization (2008)

Abstract

Mark van der Zwaag (KUN) Orthogonal bisimulation equivalence: what is it, why does it exist? Outline, 22 slides: 3 A first idea

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.103.6140
Quelle	http://www.icetcs.ru.is/luca/events/BICI/SLIDES-PA03/ponse.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	4 Branching bisimulation equivalence, some history
Typ	text
Sprache	Englisch