BRUNI, ROBERTO Statistiche

BRUNI, ROBERTO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 159 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
3rd Interaction and Concurrency Experience, ICE 2010, Amsterdam, The Netherlands, June 10, 2010 1-gen-2010 Bliudze, S; Bruni, Roberto; Grohmann, D; Silva, A.
4th Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, June 9, 2011 1-gen-2011 Silva, A; Bliudze, S; Bruni, Roberto; Carbone, M.
A basic algebra of stateless connectors 1-gen-2006 Bruni, Roberto; Lanese, I; Montanari, UGO GIOVANNI ERASMO
A coalgebraic approach to unification semantics of logic programming 1-gen-2019 Bruni, R.; Montanari, U.; Mossa, G.
A coalgebraic semantics for causality in Petri nets 1-gen-2015 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sammartino, Matteo
A Comparison of Petri Net Semantics under the Collective Token Philosophy 1-gen-1998 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
A Conceptual Framework for Adaptation 1-gen-2012 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A.
A Connector Algebra for P/T Nets Interactions 1-gen-2011 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
A flat process calculus for nested membrane interactions 1-gen-2014 Bodei, Chiara; Linda, Brodo; Bruni, Roberto; Davide, Chiarugi
A formal approach to open multiparty interactions 1-gen-2019 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
A formal support to business and architectural design for service-oriented systems 1-gen-2011 Bruni, Roberto; Foster, H; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E.
A graph syntax for processes and services 1-gen-2009 Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, Alberto
A Logic for Locally Complete Abstract Interpretations 1-gen-2021 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
A logic for modular descriptions of asynchronous and synchronized concurrent systems 1-gen-1998 Bruni, Roberto
A logical and graphical framework for reaction systems 1-gen-2021 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
A new strategy for distributed compensations with interruption in long-running transactions 1-gen-2012 Bruni, Roberto; KERSTEN KAUER, A; Lanese, I; Spagnolo, G.
A normal form for stateful connectors 1-gen-2015 Bruni, Roberto; Melgratti, Hernan; Montanari, UGO GIOVANNI ERASMO
A process algebraic approach to reaction systems 1-gen-2021 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
A semantic framework for open processes 1-gen-2007 Baldan, P; Bracciali, A; Bruni, Roberto
A service-oriented UML profile with formal support 1-gen-2009 Bruni, Roberto; Hoelzl, M; Koch, N; LLUCH LAFUENTE, A; Mayer, P; Montanari, UGO GIOVANNI ERASMO; Schroeder, A; Wirsing, M.