( en | de | ru )

 

Disambiguierung von "Bruni, Roberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Causal Trees, Finally.

, , und . Programming Languages with Applications to Biology and Security, Volume 9465 von Lecture Notes in Computer Science, Seite 27-43. Springer, (2015)

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

Summary 3: On Graph(ic) Encodings., und . Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Volume 04241 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Graph-Based Design and Analysis of Dynamic Software Architectures, , , , und . (2008)Deriving Weak Bisimulation Congruences from Reduction Systems., , , und . CONCUR, Volume 3653 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2005)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)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)Limits and difficulties in the design of under-approximation abstract domains., , und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 21-39. Springer, (2022)Graph Representation of Sessions and Pipelines for Structured Service Programming., , und . FACS, Volume 6921 von Lecture Notes in Computer Science, Seite 259-276. Springer, (2010)A Comparison of Petri Net Semantics under the Collective Token Philosophy., , , und . ASIAN, Volume 1538 von Lecture Notes in Computer Science, Seite 225-244. Springer, (1998)