Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Unifying Inference for Bayesian and Petri Nets., , und . CoRR, (2018)Transactions and Zero-Safe Nets., und . Unifying Petri Nets, Volume 2128 von Lecture Notes in Computer Science, Seite 380-426. Springer, (2001)Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets., , und . Lectures on Concurrency and Petri Nets, Volume 3098 von Lecture Notes in Computer Science, Seite 291-327. Springer, (2003)A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions., , , und . WADT, Volume 7137 von Lecture Notes in Computer Science, Seite 42-60. Springer, (2010)Zero-safe nets: The individual token approach., und . WADT, Volume 1376 von Lecture Notes in Computer Science, Seite 122-140. Springer, (1997)A Flat Process Calculus for Nested Membrane Interactions., , , und . Sci. Ann. Comput. Sci., 24 (1): 91-136 (2014)Deriving Weak Bisimulation Congruences from Reduction Systems., , , und . CONCUR, Volume 3653 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2005)Connector algebras for C/E and P/T nets' interactions., , , und . Logical Methods in Computer Science, (2013)A logical and graphical framework for reaction systems., , und . Theor. Comput. Sci., (2021)Graph-Based Design and Analysis of Dynamic Software Architectures, , , , und . (2008)