Astrid Kiehn

23 papers A* 1B 4C 3Misc 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2019 C conf
Consistency as a Branching Time Notion.
TAMC
Astrid Kiehn, Mohnish Pattathurajan
2018 J jnl
A study of mutable checkpointing and related algorithms.
Sci. Comput. Program.
Astrid Kiehn, Deepanker Aggarwal
2015 — conf
Analyzing Mutable Checkpointing via Invariants.
FSEN
Deepanker Aggarwal, Astrid Kiehn
2014 Misc conf
A Causal Checkpointing Algorithm for Mobile Computing Environments.
ICDCN
Astrid Kiehn, Pranav Raj, Pushpendra Singh
2007 — conf
An Operational Semantics for Shared Messaging Communication.
SOS@LICS/ICALP
Astrid Kiehn
2005 C conf
Amortised Bisimulations.
FORTE
Astrid Kiehn, S. Arun-Kumar
2005 C conf
On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization.
Developments in Language Theory
Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König
1997 — conf
Observing Partial Order Runs of Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition
Astrid Kiehn
1997 J jnl
On the Decidability of Non-Interleaving Process Equivalences.
Fundam. Informaticae
Astrid Kiehn, Matthew Hennessy
1995 A* conf
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.
CAV
Javier Esparza, Astrid Kiehn
1994 J jnl
A Theory of Processes with Localities.
Formal Aspects Comput.
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
1994 J jnl
Comparing Locality and Causality Based Equivalences.
Acta Informatica
Astrid Kiehn
1994 B conf
On the Decidability of Non-Interleaving Process Equivalences.
CONCUR
Astrid Kiehn
1993 J jnl
Observing Localities.
Theor. Comput. Sci.
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
1993 B conf
Proof Systems for Cause Based Equivalences.
MFCS
Astrid Kiehn
1992 B conf
A Theory of Process with Localities (Extended Abstract).
CONCUR
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
1991 J jnl
Concurrent Bisimulations in Petri Nets.
Acta Informatica
Eike Best, Raymond Devillers, Astrid Kiehn, Lucia Pomello
1991 J jnl
Local and global causes
Forschungsberichte, TU Munich
Astrid Kiehn
1991 B conf
Observing Localities (Extended Abstract).
MFCS
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
1989 — —
A structuring mechanism for Petri nets.
Astrid Kiehn
1988 J jnl
On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets.
J. Inf. Process. Cybern.
Astrid Kiehn
1988 — conf
Petri Net systems and their closure properties.
European Workshop on Applications and Theory in Petri Nets
Astrid Kiehn
1987 — conf
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.
European Workshop on Applications and Theory of Petri Nets
Astrid Kiehn