( en | de | ru )

 

Disambiguierung von "Kiehn, Astrid"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Observing Localities (Extended Abstract).

, , , und . MFCS, Volume 520 von Lecture Notes in Computer Science, Seite 93-102. Springer, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Astrid Kiehn

Michael Kiehn

Daniela Kiehn

Christoph Kiehn

Ina Kiehn

 

Weitere Publikationen von Autoren mit dem selben Namen

Petri Net systems and their closure properties.. European Workshop on Applications and Theory in Petri Nets, Volume 424 von Lecture Notes in Computer Science, Seite 306-328. Springer, (1988)Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.. European Workshop on Applications and Theory of Petri Nets, Volume 340 von Lecture Notes in Computer Science, Seite 227-248. Springer, (1987)A Theory of Processes with Localities., , , und . Formal Aspects Comput., 6 (2): 165-200 (1994)Observing Partial Order Runs of Petri Nets.. Foundations of Computer Science: Potential - Theory - Cognition, Volume 1337 von Lecture Notes in Computer Science, Seite 233-238. Springer, (1997)Proof Systems for Cause Based Equivalences.. MFCS, Volume 711 von Lecture Notes in Computer Science, Seite 547-556. Springer, (1993)A Causal Checkpointing Algorithm for Mobile Computing Environments., , und . ICDCN, Volume 8314 von Lecture Notes in Computer Science, Seite 134-148. Springer, (2014)On the Decidability of Non-Interleaving Process Equivalences.. CONCUR, Volume 836 von Lecture Notes in Computer Science, Seite 18-33. Springer, (1994)Observing Localities (Extended Abstract)., , , und . MFCS, Volume 520 von Lecture Notes in Computer Science, Seite 93-102. Springer, (1991)Observing Localities., , , und . Theor. Comput. Sci., 114 (1): 31-61 (1993)Consistency as a Branching Time Notion., und . TAMC, Volume 11436 von Lecture Notes in Computer Science, Seite 359-377. Springer, (2019)