( en | de | ru )

 

Disambiguierung von "Bruni, Roberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Algebraic Theories for Contextual Pre-nets.

, , , und . ICTCS, Volume 2841 von Lecture Notes in Computer Science, Seite 256-270. Springer, (2003)

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.

Jagoda Bruni

Bruni Ackermann

Nicole Bruni

Guglielmo Bruni

Camillo Bruni

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Unifying Inference for Bayesian and Petri Nets., , und . CoRR, (2018)Connector algebras for C/E and P/T nets' interactions., , , und . Logical Methods in Computer Science, (2013)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)Transactions and Zero-Safe Nets., und . Unifying Petri Nets, Volume 2128 von Lecture Notes in Computer Science, Seite 380-426. Springer, (2001)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)Graph-Based Design and Analysis of Dynamic Software Architectures, , , , und . (2008)A logical and graphical framework for reaction systems., , und . Theor. Comput. Sci., (2021)