Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
ESSENTIAL TRANSITIONS TO BISIMULATION EQUIVALENCES
Authors:
ELORANTA J TIENARI M VALMARI A
Citation:
J. Eloranta et al., ESSENTIAL TRANSITIONS TO BISIMULATION EQUIVALENCES, Theoretical computer science, 179(1-2), 1997, pp. 397-419
THE WEAKEST DEADLOCK-PRESERVING CONGRUENCE
Authors:
VALMARI A
Citation:
A. Valmari, THE WEAKEST DEADLOCK-PRESERVING CONGRUENCE, Information processing letters, 53(6), 1995, pp. 341-346
Risultati:
1-2
|