PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Virbitskaite, Irina B."

Author of the publication

copydeleteadd this publication to your clipboard
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Irina Kurkowski University of Stuttgart

Irina Mostovenko University of Stuttgart

B. Schlecht

Irina Kistner University of Stuttgart

Irina Löffler University of Stuttgart

 

Other publications of authors with the same name

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