Mario Bravetti

Mario Bravetti

Università di Bologna - Bologna / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1800812
University of Bologna
person_outline Mario Bravetti's MOST POPULAR ARTICLES
1-) Towards a unifying theory for choreography conformance and contract complianceM Bravetti, G ZavattaroInternational Conference on Software Composition, 34-50, 20072082007
2-) Behavioral types in programming languagesD Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 20161582016
3-) The theory of interactive generalized semi-Markov processesM Bravetti, R GorrieriTheoretical Computer Science 282 (1), 5-32, 20021142002
4-) A process-algebraic approach for the analysis of probabilistic noninterferenceA Aldini, M Bravetti, R GorrieriJournal of Computer Security 12 (2), 191-245, 20041082004
5-) Contract based multi-party service compositionM Bravetti, G ZavattaroInternational Conference on Fundamentals of Software Engineering, 207-222, 20071062007