| Towards a unifying theory for choreography conformance and contract compliance M Bravetti, G Zavattaro International Conference on Software Composition, 34-50, 2007 | 208 | 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 | 196 | 2016 |
| The theory of interactive generalized semi-Markov processes M Bravetti, R Gorrieri Theoretical Computer Science 282 (1), 5-32, 2002 | 120 | 2002 |
| 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 | 108 | 2004 |
| Contract based multi-party service composition M Bravetti, G Zavattaro International Conference on Fundamentals of Software Engineering, 207-222, 2007 | 106 | 2007 |
| 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 | 93 | 1998 |
| Contract compliance and choreography conformance in the presence of message queues M Bravetti, G Zavattaro International Workshop on Web Services and Formal Methods, 37-54, 2008 | 83 | 2008 |
| Performance measure sensitive congruences for Markovian process algebras M Bernardo, M Bravetti Theoretical Computer Science 290 (1), 117-160, 2003 | 72 | 2003 |
| Specification and analysis of stochastic real-time systems M Bravetti PhD thesis, Dottorato di Ricerca in Informatica. Universita di Bologna …, 2002 | 71 | 2002 |
| A theory for strong service compliance M Bravetti, G Zavattaro International Conference on Coordination Languages and Models, 96-112, 2007 | 70 | 2007 |
| A foundational theory of contracts for multi-party service composition M Bravetti, G Zavattaro Fundamenta Informaticae 89 (4), 451-478, 2008 | 66 | 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 | 64 | 2000 |
| 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 | 63 | 2004 |
| Undecidability of asynchronous session subtyping M Bravetti, M Carbone, G Zavattaro Information and Computation 256, 300-320, 2017 | 59 | 2017 |
| A theory of contracts for strong service compliance M Bravetti, G Zavattaro Mathematical Structures in Computer Science 19 (3), 601-638, 2009 | 54 | 2009 |
| Adaptable processes M Bravetti, C Di Giusto, JA Pérez, G Zavattaro Logical methods in computer science 8, 2012 | 50 | 2012 |
| Quantitative information in the tuple space coordination model M Bravetti, R Gorrieri, R Lucchi, G Zavattaro Theoretical Computer Science 346 (1), 28-57, 2005 | 49 | 2005 |
| On the expressive power of process interruption and compensation M Bravetti, G Zavattaro Mathematical Structures in Computer Science 19 (3), 565-599, 2009 | 45 | 2009 |
| Revisiting interactive Markov chains M Bravetti Electronic Notes in Theoretical Computer Science 68 (5), 65-84, 2003 | 45* | 2003 |
| Discrete time generative–reactive probabilistic processes with different advancing speeds M Bravetti, A Aldini Theoretical Computer Science 290 (1), 355-406, 2003 | 44 | 2003 |
