BDKP91
E. Best, R. Devillers, A. Kiehn, and L. Pomello.
Concurrent bisimulations in Petri nets.
Acta Informatica, 28:231-264, 1991. [Abstract]

BCHK93
G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn.
Observing localities.
Theoretical Computer Science, 114:31-61, 1993. [Abstract]

BCHK94
G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn.
A theory of processes with localities.
Formal Aspects of Computation, 6:165-200, 1994. [Abstract]

EK95
J. Esparza and A. Kiehn.
On the model checking problem for branching time logics and basic parallel processes.
In Proc. of CAV'95, number 939 in Lecture Notes in Computer Science, pages 353-366. Springer-Verlag, 1995. [gzipped Postscript ] [Abstract]

Kie88b
A. Kiehn.
Infinitary partial Petri net languages and their relationship to other Petri net semantics.
In G. Rozenberg, editor, Advances in Petri nets 1988, number 340 in Lecture Notes in Computer Science, pages 227-248. Springer-Verlag, 1988. [Abstract]

Kie88a
A. Kiehn.
On the interrelation between synchronized and non-synchronized behaviour of Petri nets.
Journal of Information Processing and Cybernetics EIK, 24(1/2):3-18, 1988. [Abstract]

Kie90
A. Kiehn.
Petri nets systems and their closure properties.
In G. Rozenberg, editor, Advances in Petri nets 1989, number 424 in Lecture Notes in Computer Science, pages 306-328. Springer-Verlag, 1990. [Abstract]

Kie93a
A. Kiehn.
Proof systems for cause based equivalences.
In Proceedings of MFCS 93, number 711 in Lecture Notes in Computer Science, pages 547-556. Springer-Verlag, 1993. [Abstract]

Kie94
A. Kiehn.
Comparing locality and causality based equivalences.
Acta Informatica, 31:697-718, 1994. [Abstract]

Kie97
A. Kiehn.
Observing partial order runs of Petri nets.
In C. Freksa, M. Jantzen, and R. Valk, editors, Foundations of Computer Science Potential-Theory-Cognition, number 1337 in Lecture Notes in Computer Science, pages 233-238. Springer-Verlag, 1997. [Abstract]

KH97
A. Kiehn and M. Hennessy.
On the decidability of non-interleaving process equivalences.
Fundamenta Informaticae, 30:23-43, 1997. [Abstract]