PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Virbitskaite, Irina B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets.

, , und . Programming and Computer Software, 42 (4): 187-197 (2016)

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.

Irina Kurkowski University of Stuttgart

Irina Mostovenko University of Stuttgart

B. Schlecht

Irina Kistner University of Stuttgart

Irina Löffler University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Timed Equivalences for Timed Event Structures., und . PaCT, Volume 3606 von Lecture Notes in Computer Science, Seite 16-26. Springer, (2005)On the Category of Event Structures with Dense Time., und . FCT, Volume 2138 von Lecture Notes in Computer Science, Seite 287-298. Springer, (2001)A Partial Order Method for the Verification of Time Petri Nets., und . FCT, Volume 1684 von Lecture Notes in Computer Science, Seite 547-558. Springer, (1999)Comparing Semantics Under Strong Timing of Petri Nets., und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 376-384. Springer, (2014)A Categorical View of Timed Weak Bisimulation., und . TAMC, Volume 6108 von Lecture Notes in Computer Science, Seite 443-454. Springer, (2010)Causality-Based Testing in Time Petri Nets., , und . Ershov Informatics Conference, Volume 11964 von Lecture Notes in Computer Science, Seite 252-261. Springer, (2019)Open Maps and Trace Semantics for Timed Partial Order Models., und . Ershov Memorial Conference, Volume 2890 von Lecture Notes in Computer Science, Seite 248-259. Springer, (2003)Analysis of Timed Concurrent Models Based on Testing Equivalence., , und . Fundam. Inform., 43 (1-4): 1-20 (2000)Observational Equivalences for Timed Stable Event Structures., und . Fundam. Inform., 72 (1-3): 1-19 (2006)Preserving Behavior in Transition Systems from Event Structure Models., und . CS&P, Volume 2240 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)