Astrid Kiehn

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Consistency as a branching time notion	2019-10-15	Paper
An operational semantics for shared messaging communication Electronic Notes in Theoretical Computer Science	2014-01-10	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
Developments in Language Theory Lecture Notes in Computer Science	2006-06-23	Paper
scientific article; zbMATH DE number 1051237 (Why is no real title available?)	1998-02-26	Paper
scientific article; zbMATH DE number 1101601 (Why is no real title available?)	1998-01-07	Paper
A theory of processes with localities Formal Aspects of Computing	1994-06-29	Paper
Observing localities Theoretical Computer Science	1993-10-17	Paper
scientific article; zbMATH DE number 176129 (Why is no real title available?)	1993-05-18	Paper
Concurrent bisimulations in Petri nets Acta Informatica	1991-01-01	Paper
scientific article; zbMATH DE number 4087033 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4098730 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Astrid Kiehn