|
СТ |
Bisimulation Equivalence is Decidable for Basic Parallel Processes |
1993 |
Christensen S., Hirshfeld Y., Moller F. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Petri Nets and the Equivalence Problem |
1994 |
Hirshfeld Y. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
|
СТ |
Decidability Results in Automata and Process Theory |
1996 |
Hirshfeld Y., Moller F. |
|
|
|
Lecture Notes in Computer Science |
30.03.1996 |
|
СТ |
Quantitative Temporal Logic |
1999 |
Hirshfeld Y., Rabinovich A. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
