|
СТ |
Observing Partial Order Runs of Petri Nets |
1997 |
Kiehn A. |
|
|
|
Lecture Notes in Computer Science |
28.11.1997 |
|
СТ |
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes |
1995 |
Esparza J., Kiehn A. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Comparing Locality and Causality Based Equivalences |
1994 |
Kiehn A. |
|
|
|
Acta Informatica |
24.01.1995 |
|
СТ |
On the Decidability of Non-Interleaving Process Equivalences |
1994 |
Kiehn A., Hennessy M. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Proof Systems for Cause Based Equivalences |
1993 |
Kiehn A. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
СТ |
A Theory of Processes with Localities |
1992 |
Boudol G., Castellani I., Hennessy M., Kiehn A. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Concurrent bisimulation in Petri nets |
1991 |
Best E., Devillers R., Kiehn A., Pomello L. |
|
|
|
Acta Informatica |
26.06.1991 |
