Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Kiehn, A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Comparing locality and causality based equivalences
A. Kiehn
Acta Informatica
31
, 1994, pp. 697-718
Observing localities
G. Boudol
,
I. Castellani
,
M. Hennessy
,
A. Kiehn
Theoretical Computer Science
114
(1), 1993, pp. 31-61
Observing localities
G. Boudol
,
I. Castellani
,
M. Hennessy
,
A. Kiehn
Lecture Notes in Computer Science
520
, 1991, pp. 93-102
Concurrent bisimulations in Petri nets
E. Best
,
R. Devillers
,
A. Kiehn
,
L. Pomello
Acta Informatica
28
, 1990, pp. 231-264
Infinitary partial Petri net languages and their relationship to other Petri net semantics
A. Kiehn
Lecture Notes in Computer Science
340
, 1988, pp. 227-248