Astrid Kiehn

According to our database, Astrid Kiehn authored at least 23 papers between 1987 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Consistency as a Branching Time Notion.

Astrid Kiehn, Mohnish Pattathurajan

Proceedings of the Theory and Applications of Models of Computation, 2019

2018

A study of mutable checkpointing and related algorithms.

Astrid Kiehn, Deepanker Aggarwal

Sci. Comput. Program., 2018

2015

Analyzing Mutable Checkpointing via Invariants.

Deepanker Aggarwal, Astrid Kiehn

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

A Causal Checkpointing Algorithm for Mobile Computing Environments.

Astrid Kiehn, Pranav Raj, Pushpendra Singh

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2007

An Operational Semantics for Shared Messaging Communication.

Astrid Kiehn

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

2005

Amortised Bisimulations.

Astrid Kiehn, S. Arun-Kumar

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization.

Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König

Proceedings of the Developments in Language Theory, 9th International Conference, 2005

1997

On the Decidability of Non-Interleaving Process Equivalences.

Astrid Kiehn, Matthew Hennessy

Fundam. Informaticae, 1997

Observing Partial Order Runs of Petri Nets.

Astrid Kiehn

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1995

On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.

Javier Esparza, Astrid Kiehn

Proceedings of the Computer Aided Verification, 1995

1994

A Theory of Processes with Localities.

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Formal Aspects Comput., 1994

Comparing Locality and Causality Based Equivalences.

Astrid Kiehn

Acta Informatica, 1994

On the Decidability of Non-Interleaving Process Equivalences.

Astrid Kiehn

Proceedings of the CONCUR '94, 1994

1993

Observing Localities.

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Theor. Comput. Sci., 1993

Proof Systems for Cause Based Equivalences.

Astrid Kiehn

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

A Theory of Process with Localities (Extended Abstract).

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Proceedings of the CONCUR '92, 1992

1991

Local and global causes

Astrid Kiehn

Forschungsberichte, TU Munich, 1991

Concurrent Bisimulations in Petri Nets.

Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello

Acta Informatica, 1991

Observing Localities (Extended Abstract).

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1989

A structuring mechanism for Petri nets.

Astrid Kiehn

PhD thesis, 1989

1988

On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets.

Astrid Kiehn

J. Inf. Process. Cybern., 1988

Petri Net systems and their closure properties.

Astrid Kiehn

Proceedings of the Advances in Petri Nets 1989, 1988

1987

Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.

Astrid Kiehn

Proceedings of the Advances in Petri Nets 1988, 1987