| Towards a unifying theory for choreography conformance and contract compliance M Bravetti, G Zavattaro Lecture Notes in Computer Science 4829, 34-50, 2007 | 206 | 2007 |
| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 170 | 2016 |
| The theory of interactive generalized semi-Markov processes M Bravetti, R Gorrieri Theoretical Computer Science 282 (1), 5-32, 2002 | 114 | 2002 |
| Contract based multi-party service composition M Bravetti, G Zavattaro International Symposium on Fundamentals of Software Engineering …, 2007 | 105 | 2007 |
| A process-algebraic approach for the analysis of probabilistic noninterference A Aldini, M Bravetti, R Gorrieri Journal of Computer Security 12 (2), 191-245, 2004 | 102 | 2004 |
| Towards performance evaluation with general distributions in process algebras M Bravetti, M Bernardo, R Gorrieri CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 89 | 1998 |
| Contract Compliance and Choreography Conformance in the Presence of Message Queues. M Bravetti, G Zavattaro WS-FM 8, 37-54, 2008 | 84 | 2008 |
| Performance measure sensitive congruences for Markovian process algebras M Bernardo, M Bravetti Theoretical Computer Science 290 (1), 117-160, 2003 | 70 | 2003 |
| A theory for strong service compliance M Bravetti, G Zavattaro Coordination Models and Languages: 9th International Conference …, 2007 | 68 | 2007 |
| Specification and analysis of stochastic real-time systems M Bravetti PhD thesis, Dottorato di Ricerca in Informatica. Universita di Bologna …, 2002 | 68 | 2002 |
| A foundational theory of contracts for multi-party service composition M Bravetti, G Zavattaro Fundamenta Informaticae 89 (4), 451-478, 2008 | 63 | 2008 |
| Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time M Bravetti, M Bernardo Electronic Notes in Theoretical Computer Science 39 (3), 197-230, 2000 | 62 | 2000 |
| A theory of contracts for strong service compliance M Bravetti, G Zavattaro Mathematical Structures in Computer Science 19 (3), 601-638, 2009 | 58 | 2009 |
| Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions M Bravetti, PR D’Argenio Validation of Stochastic Systems: A Guide to Current Research, 44-88, 2004 | 58 | 2004 |
| Adaptable processes M Bravetti, C Di Giusto, JA Pérez, G Zavattaro FMOODS/FORTE, 90-105, 2011 | 51 | 2011 |
| Quantitative information in the tuple space coordination model M Bravetti, R Gorrieri, R Lucchi, G Zavattaro Theoretical Computer Science 346 (1), 28-57, 2005 | 48 | 2005 |
| Undecidability of asynchronous session subtyping M Bravetti, M Carbone, G Zavattaro Information and Computation 256, 300-320, 2017 | 47 | 2017 |
| On the expressive power of process interruption and compensation M Bravetti, G Zavattaro Mathematical Structures in Computer Science 19 (3), 565-599, 2009 | 46 | 2009 |
| Contract-driven implementation of choreographies M Bravetti, I Lanese, G Zavattaro Trustworthy Global Computing: 4th International Symposium, TGC 2008 …, 2009 | 45 | 2009 |
| Revisiting interactive Markov chains M Bravetti Electronic Notes in Theoretical Computer Science 68 (5), 65-84, 2003 | 44* | 2003 |
