Astrid Kiehn
From MaRDI portal
Person:2327486
Available identifiers
zbMath Open kiehn.astridMaRDI QIDQ2327486
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 | 2014-01-10 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| Developments in Language Theory | 2006-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349577 | 1998-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371023 | 1998-01-07 | Paper |
| A theory of processes with localities | 1994-06-29 | Paper |
| Observing localities | 1993-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035230 | 1993-05-18 | Paper |
| Concurrent bisimulations in Petri nets | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815533 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3823804 | 1988-01-01 | Paper |
Research outcomes over time
This page was built for person: Astrid Kiehn
