Вы здесь

Kiehn A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Concurrent bisimulation in Petri nets 1991 Best E., Devillers R., Kiehn A., Pomello L. Acta Informatica 26.06.1991
СТ A Theory of Processes with Localities 1992 Boudol G., Castellani I., Hennessy M., Kiehn A. Lecture Notes in Computer Science 16.10.1992
СТ Proof Systems for Cause Based Equivalences 1993 Kiehn A. Lecture Notes in Computer Science 21.10.1993
СТ On the Decidability of Non-Interleaving Process Equivalences 1994 Kiehn A., Hennessy M. Lecture Notes in Computer Science 26.08.1994
СТ Comparing Locality and Causality Based Equivalences 1994 Kiehn A. Acta Informatica 24.01.1995
СТ 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
СТ Observing Partial Order Runs of Petri Nets 1997 Kiehn A. Lecture Notes in Computer Science 28.11.1997