Astrid Kiehn
From MaRDI portal
Person:2327486
Available identifiers
zbMath Open kiehn.astridMaRDI QIDQ2327486
List of research outcomes
| 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Astrid Kiehn
