From post

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.

 

Другие публикации лиц с тем же именем

Invariants, Composition, and Substitution.. Acta Informatica, 32 (4): 299-312 (1995)Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification., , и . PNSE @ Petri Nets, том 1372 из CEUR Workshop Proceedings, стр. 79-98. CEUR-WS.org, (2015)Verification of Distributed Algorithms with Algebraic Petri Nets., и . Foundations of Computer Science: Potential - Theory - Cognition, том 1337 из Lecture Notes in Computer Science, стр. 261-270. Springer, (1997)Szenarios: Lokale Kriterien für globale Korrektheit., и . FBT, стр. 113-122. Herbert Utz Verlag, (1999)The Interplay of Transaction Models and Memory Models.. IADT, стр. 39-46. Society for Design and Process Science, 1302 West 25th Street, Suite 300, Austin, TX 78705-4236, USA, (1998)On the semantics of EPCs: A framework for resolving the vicious circle.. EPK, стр. 7-18. GI-Arbeitskreis Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, (2003)Message passing mutex., и . STRICT, стр. 205-219. Springer, (1995)Serializability, Concurrency Control, and Replication Control.. FMLDO - Selected Papers, том 1773 из Lecture Notes in Computer Science, стр. 26-44. Springer, (1999)ePNK Applications and Annotations: A Simulator for YAWL Nets.. Petri Nets, том 10877 из Lecture Notes in Computer Science, стр. 339-350. Springer, (2018)Mutex Needs Fairness., и . Inf. Process. Lett., 62 (1): 31-39 (1997)