# Astrid Kiehn

According to our database

^{1}, Astrid Kiehn## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

Analyzing Mutable Checkpointing via Invariants.

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

2014

A Causal Checkpointing Algorithm for Mobile Computing Environments.

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

2007

An Operational Semantics for Shared Messaging Communication.

Electr. Notes Theor. Comput. Sci., 2007

2005

Amortised Bisimulations.

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

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

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

1997

On the Decidability of Non-Interleaving Process Equivalences.

Fundam. Inform., 1997

Observing Partial Order Runs of Petri Nets.

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

1995

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

Proceedings of the Computer Aided Verification, 1995

1994

A Theory of Processes with Localities.

Formal Asp. Comput., 1994

Comparing Locality and Causality Based Equivalences.

Acta Inf., 1994

On the Decidability of Non-Interleaving Process Equivalences.

Proceedings of the CONCUR '94, 1994

1993

Observing Localities.

Theor. Comput. Sci., 1993

Proof Systems for Cause Based Equivalences.

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

A Theory of Process with Localities (Extended Abstract).

Proceedings of the CONCUR '92, 1992

1991

Concurrent Bisimulations in Petri Nets.

Acta Inf., 1991

Observing Localities (Extended Abstract).

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1989

A structuring mechanism for Petri nets.

PhD thesis, 1989

1988

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

Elektronische Informationsverarbeitung und Kybernetik, 1988

Petri Net systems and their closure properties.

Proceedings of the Advances in Petri Nets 1989, 1988

1987

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

Proceedings of the Advances in Petri Nets 1988, 1987