( en | de | ru )

 

Disambiguation of "Kindler, Ekkart"

Author of the publication

copydeleteadd this publication to your clipboard
Behavior Modeling - Foundations and Applications, International Workshops, BM-FA 2009-2014, Revised Selected Papers

, , , and (Eds.) volume 6368 of Lecture Notes in Computer Science, Springer, (2015)

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.

Ekkart Kindler

Ekkart Knorr

Ekkart Lenz

Ekkart Rudolph

Ekkart Genée

 

Other publications of authors with the same name

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