( en | de | ru )

 

Disambiguierung von "Bruni, Roberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hierarchical Models for Service-Oriented Systems.

, , , , und . Results of the SENSORIA Project, Volume 6582 von Lecture Notes in Computer Science, Springer, (2011)

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)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)Deriving Weak Bisimulation Congruences from Reduction Systems., , , und . CONCUR, Volume 3653 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2005)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)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)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)Graph-Based Design and Analysis of Dynamic Software Architectures, , , , und . (2008)