| 2007 |
|---|
| 17 | EE | Astrid Kiehn:
An Operational Semantics for Shared Messaging Communication.
Electr. Notes Theor. Comput. Sci. 192(1): 77-92 (2007) |
| 2005 |
|---|
| 16 | EE | Hermann Gruber,
Markus Holzer,
Astrid Kiehn,
Barbara König:
On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization.
Developments in Language Theory 2005: 272-283 |
| 15 | EE | Astrid Kiehn,
S. Arun-Kumar:
Amortised Bisimulations.
FORTE 2005: 320-334 |
| 1997 |
|---|
| 14 | EE | Astrid Kiehn:
Observing Partial Order Runs of Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 233-238 |
| 13 | | Astrid Kiehn,
Matthew Hennessy:
On the Decidability of Non-Interleaving Process Equivalences.
Fundam. Inform. 30(1): 11-30 (1997) |
| 1995 |
|---|
| 12 | | Javier Esparza,
Astrid Kiehn:
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.
CAV 1995: 353-366 |
| 1994 |
|---|
| 11 | | Astrid Kiehn:
On the Decidability of Non-Interleaving Process Equivalences.
CONCUR 1994: 18-33 |
| 10 | | Astrid Kiehn:
Comparing Locality and Causality Based Equivalences.
Acta Inf. 31(8): 697-718 (1994) |
| 9 | | Gérard Boudol,
Ilaria Castellani,
Matthew Hennessy,
Astrid Kiehn:
A Theory of Processes with Localities.
Formal Asp. Comput. 6(2): 165-200 (1994) |
| 1993 |
|---|
| 8 | | Astrid Kiehn:
Proof Systems for Cause Based Equivalences.
MFCS 1993: 547-556 |
| 7 | | Gérard Boudol,
Ilaria Castellani,
Matthew Hennessy,
Astrid Kiehn:
Observing Localities.
Theor. Comput. Sci. 114(1): 31-61 (1993) |
| 1992 |
|---|
| 6 | | Gérard Boudol,
Ilaria Castellani,
Matthew Hennessy,
Astrid Kiehn:
A Theory of Process with Localities (Extended Abstract).
CONCUR 1992: 108-122 |
| 1991 |
|---|
| 5 | | Gérard Boudol,
Ilaria Castellani,
Matthew Hennessy,
Astrid Kiehn:
Observing Localities (Extended Abstract).
MFCS 1991: 93-102 |
| 4 | | Eike Best,
Raymond R. Devillers,
Astrid Kiehn,
Lucia Pomello:
Concurrent Bisimulations in Petri Nets.
Acta Inf. 28(3): 231-264 (1991) |
| 1988 |
|---|
| 3 | | Astrid Kiehn:
Petri Net systems and their closure properties.
European Workshop on Applications and Theory in Petri Nets 1988: 306-328 |
| 2 | | Astrid Kiehn:
On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets.
Elektronische Informationsverarbeitung und Kybernetik 24(1/2): 3-18 (1988) |
| 1987 |
|---|
| 1 | | Astrid Kiehn:
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.
European Workshop on Applications and Theory of Petri Nets 1987: 227-248 |
