Folgen
Mario Bravetti
Mario Bravetti
Bestätigte E-Mail-Adresse bei cs.unibo.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Towards a unifying theory for choreography conformance and contract compliance
M Bravetti, G Zavattaro
International Conference on Software Composition, 34-50, 2007
2102007
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
2002016
The theory of interactive generalized semi-Markov processes
M Bravetti, R Gorrieri
Theoretical Computer Science 282 (1), 5-32, 2002
1222002
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
1082004
Contract based multi-party service composition
M Bravetti, G Zavattaro
International Conference on Fundamentals of Software Engineering, 207-222, 2007
1062007
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
931998
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
832008
Performance measure sensitive congruences for Markovian process algebras
M Bernardo, M Bravetti
Theoretical Computer Science 290 (1), 117-160, 2003
742003
Specification and analysis of stochastic real-time systems
M Bravetti
PhD thesis, Dottorato di Ricerca in Informatica. Universita di Bologna …, 2002
712002
A theory for strong service compliance
M Bravetti, G Zavattaro
International Conference on Coordination Languages and Models, 96-112, 2007
702007
A foundational theory of contracts for multi-party service composition
M Bravetti, G Zavattaro
Fundamenta Informaticae 89 (4), 451-478, 2008
662008
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
652000
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
642004
Undecidability of asynchronous session subtyping
M Bravetti, M Carbone, G Zavattaro
Information and Computation 256, 300-320, 2017
612017
A theory of contracts for strong service compliance
M Bravetti, G Zavattaro
Mathematical Structures in Computer Science 19 (3), 601-638, 2009
542009
Adaptable processes
M Bravetti, C Di Giusto, JA Pérez, G Zavattaro
Logical methods in computer science 8, 2012
502012
Quantitative information in the tuple space coordination model
M Bravetti, R Gorrieri, R Lucchi, G Zavattaro
Theoretical Computer Science 346 (1), 28-57, 2005
492005
On the expressive power of process interruption and compensation
M Bravetti, G Zavattaro
Mathematical Structures in Computer Science 19 (3), 565-599, 2009
452009
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
442003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20