( en | de | ru )

 

Disambiguierung von "Bruni, Roberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.

, , , und . Fundam. Informaticae, 134 (3-4): 287-317 (2014)

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

Deriving Weak Bisimulation Congruences from Reduction Systems., , , und . CONCUR, Volume 3653 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2005)Graph-Based Design and Analysis of Dynamic Software Architectures, , , , und . (2008)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)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)Modeling Fresh Names in the ?-calculus Using Abstractions., , , und . CMCS, Volume 106 von Electronic Notes in Theoretical Computer Science, Seite 25-41. Elsevier, (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)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)