Obserwuj
Roberto Bruni
Roberto Bruni
University of Pisa
Zweryfikowany adres z di.unipi.it - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Theoretical foundations for compensations in flow composition languages
R Bruni, H Melgratti, U Montanari
ACM SIGPLAN Notices 40 (1), 209-220, 2005
2752005
SCC: a service centered calculus
M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...
International Workshop on Web Services and Formal Methods, 38-57, 2006
2102006
Semantic foundations for generalized rewrite theories
R Bruni, J Meseguer
Theoretical Computer Science 360 (1-3), 386-414, 2006
2102006
Sessions and pipelines for structured service programming
M Boreale, R Bruni, R De Nicola, M Loreti
International Conference on Formal Methods for Open Object-Based Distributed …, 2008
1562008
Generalized rewrite theories
R Bruni, J Meseguer
International Colloquium on Automata, Languages, and Programming, 252-266, 2003
1202003
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin
Fundamental Approaches to Software Engineering: 15th International …, 2012
1142012
A basic algebra of stateless connectors
R Bruni, I Lanese, U Montanari
Theoretical Computer Science 366 (1-2), 98-120, 2006
912006
Zero-safe nets: Comparing the collective and individual token approaches
R Bruni, U Montanari
Information and computation 156 (1-2), 46-89, 2000
872000
Comparing two approaches to compensable flow composition
R Bruni, M Butler, C Ferreira, T Hoare, H Melgratti, U Montanari
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
852005
Multiparty sessions in SOC
R Bruni, I Lanese, H Melgratti, E Tuosto
Coordination Models and Languages: 10th International Conference …, 2008
652008
Tile logic for synchronized rewriting of concurrent systems
R Bruni
PhD thesis, Computer Science Department, University of Pisa, 1999
651999
Style-based architectural reconfigurations
R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto
Bulletin of the European association for theoretical computer science 94 …, 2008
642008
Orchestrating Transactions in Join Calculus*
R Bruni, C Laneve, U Montanari
CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002
642002
Nested commits for mobile calculi: extending Join
R Bruni, H Melgratti, U Montanari
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
632004
Zero-safe nets, or transition synchronization made simple
R Bruni, U Montanari
Electronic Notes in Theoretical Computer Science 7, 55-74, 1997
611997
Influence of host pheromone on egg parasitism by scelionid wasps: comparison of phoretic and nonphoretic parasitoids
R Bruni, J Sant'Ana, JR Aldrich, F Bin
Journal of Insect Behavior 13, 165-173, 2000
592000
A connector algebra for P/T nets interactions
R Bruni, H Melgratti, U Montanari
International Conference on Concurrency Theory, 312-326, 2011
57*2011
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
R Bruni, J Meseguer, U Montanari
Mathematical Structures in Computer Science 12 (1), 53-90, 2002
562002
Normal forms for algebras of connections
R Bruni, F Gadducci, U Montanari
Theoretical Computer Science 286 (2), 247-292, 2002
502002
Graph-based design and analysis of dynamic software architectures
R Bruni, A Bucchiarone, S Gnesi, D Hirsch, A Lluch Lafuente
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
492008
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20