Mario Bravetti
Author
Alternate names Mario Bravetti, M. Bravetti, M BRAVETTI
Institution University of Bologna
Past institutions University of Bologna, Institut national de recherche en informatique et en automatique, Zambon (Italy)
ORCID: Yes
H-index: 27
I10-index: 49
Works count: 158
Citations count: 2,020
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
2007 · Mario Bravetti, Gianluigi Zavattaro · Software Composition
Behavioral Types in Programming Languages
2016 · Davide Ancona, Viviana Bono, et al. · Foundations and Trends® in Programming Languages
The theory of interactive generalized semi-Markov processes
2002 · Mario Bravetti, Roberto Gorrieri · Theoretical Computer Science