Jaana Eloranta

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

Jaana Eloranta, Martti Tienari, Antti Valmari
Essential Transitions to Bisimulation Equivalences. Theor. Comput. Sci. 179 (1-2) (1997)
Jaana Eloranta
Minimizing the Number of Transitions with Respect to Observation Equivalence. BIT 31 (4) (1991)