Jaana Eloranta

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

2 EE Jaana Eloranta, Martti Tienari, Antti Valmari: Essential Transitions to Bisimulation Equivalences. Theor. Comput. Sci. 179(1-2): 397-419 (1997)

1991

1 Jaana Eloranta: Minimizing the Number of Transitions with Respect to Observation Equivalence. BIT 31(4): 576-590 (1991)

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

Coauthor Index

1 Martti Tienari [2]

2 Antti Valmari [2]