×

zbMATH — the first resource for mathematics

Bravetti, Mario

Compute Distance To:
Author ID: bravetti.mario Recent zbMATH articles by "Bravetti, Mario"
Published as: Bravetti, M.; Bravetti, Mario
Documents Indexed: 45 Publications since 1999, including 8 Books

Publications by Year

Citations contained in zbMATH

32 Publications have been cited 169 times in 109 Documents Cited by Year
Contract based multi-party service composition. Zbl 1141.68502
Bravetti, Mario; Zavattaro, Gianluigi
14
2007
The theory of interactive generalized semi-Markov processes. Zbl 0997.68083
Bravetti, Mario; Gorrieri, Roberto
14
2002
An integrated approach for the specification and analysis of stochastic real-time systems (short abstract). Zbl 1065.68581
Bravetti, Mario
13
2002
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. Zbl 0970.68114
Bravetti, Mario; Bernardo, Marco
11
2000
Discrete time generative-reactive probabilistic processes with different advancing speeds. Zbl 1018.68051
Bravetti, M.; Aldini, A.
9
2003
Performance measure sensitive congruences for Markovian process algebras. Zbl 1019.68065
Bernardo, Marco; Bravetti, Mario
9
2003
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. Zbl 1365.68340
Bravetti, Mario; Gorrieri, Roberto
8
2002
A complete axiomatziation for observational congruence of prioritized finite-state behaviors. Zbl 0973.68168
Bravetti, Mario; Gorrieri, Roberto
8
2000
A ground-complete axiomatization of finite state processes in process algebra. Zbl 1134.68425
Baeten, Jos C. M.; Bravetti, Mario
7
2005
Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions. Zbl 1203.68113
Bravetti, Mario; D’Argenio, Pedro R.
7
2004
Adaptable processes. Zbl 1253.68237
Bravetti, Mario; di Giusto, Cinzia; Perez, Jorge A.; Zavattaro, Gianluigi
6
2012
A foundational theory of contracts for multi-party service composition. Zbl 1154.68336
Bravetti, Mario; Zavattaro, Gianluigi
6
2008
Undecidability of asynchronous session subtyping. Zbl 1376.68098
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
5
2017
A theory of contracts for strong service compliance. Zbl 1186.68318
Bravetti, Mario; Zavattaro, Gianluigi
5
2009
Service oriented computing from a process algebraic perspective. Zbl 1178.68072
Bravetti, Mario; Zavattaro, Gianluigi
5
2007
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
On the expressive power of process interruption and compensation. Zbl 1186.68317
Bravetti, Mario; Zavattaro, Gianluigi
4
2009
A ground-complete axiomatisation of finite-state processes in a generic process algebra. Zbl 1158.68028
Baeten, Jos C. M.; Bravetti, Mario
4
2008
Revisiting interactive Markov chains. Zbl 1270.68207
Bravetti, Mario
4
2003
Reward based congruences: Can we aggregate more? Zbl 1007.68132
Bernardo, Marco; Bravetti, Mario
4
2001
Axiomatizing ST bisimulation for a process algebra with recursion and action refinement. (Extended abstract). Zbl 0958.68115
Bravetti, Mario; Gorrieri, Roberto
4
1999
On the boundary between decidability and undecidability of asynchronous session subtyping. Zbl 1388.68024
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
3
2018
Quantitative information in the tuple space coordination model. Zbl 1080.68007
Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
3
2005
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
2
2004
Expressing processes with different action durations through probabilities. Zbl 1007.68516
Bravetti, Mario; Aldini, Alessandro
2
2001
A Petri net based modeling of active objects and futures. Zbl 1390.68489
de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi
1
2018
Reduction semantics in Markovian process algebra. Zbl 1430.68160
Bravetti, Mario
1
2018
CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Zbl 1173.68003
Bravetti, Mario (ed.); Zavattaro, Gianluigi (ed.)
1
2009
Expressing priorities and external probabilities in process algebra via mixed open/closed systems. Zbl 1277.68166
Bravetti, Mario
1
2008
Stochastic and real time in process algebra: a conceptual overview. Zbl 1316.68087
Bravetti, Mario
1
2006
A generic process algebra. Zbl 1316.68084
Baeten, Jos C. M.; Bravetti, Mario
1
2006
An integrated approach for the specification and analysis of stochastic real-time systems. Zbl 1270.68166
Bravetti, Mario
1
2003
On the boundary between decidability and undecidability of asynchronous session subtyping. Zbl 1388.68024
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
3
2018
A Petri net based modeling of active objects and futures. Zbl 1390.68489
de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi
1
2018
Reduction semantics in Markovian process algebra. Zbl 1430.68160
Bravetti, Mario
1
2018
Undecidability of asynchronous session subtyping. Zbl 1376.68098
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
5
2017
Adaptable processes. Zbl 1253.68237
Bravetti, Mario; di Giusto, Cinzia; Perez, Jorge A.; Zavattaro, Gianluigi
6
2012
A theory of contracts for strong service compliance. Zbl 1186.68318
Bravetti, Mario; Zavattaro, Gianluigi
5
2009
On the expressive power of process interruption and compensation. Zbl 1186.68317
Bravetti, Mario; Zavattaro, Gianluigi
4
2009
CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Zbl 1173.68003
Bravetti, Mario (ed.); Zavattaro, Gianluigi (ed.)
1
2009
A foundational theory of contracts for multi-party service composition. Zbl 1154.68336
Bravetti, Mario; Zavattaro, Gianluigi
6
2008
A ground-complete axiomatisation of finite-state processes in a generic process algebra. Zbl 1158.68028
Baeten, Jos C. M.; Bravetti, Mario
4
2008
Expressing priorities and external probabilities in process algebra via mixed open/closed systems. Zbl 1277.68166
Bravetti, Mario
1
2008
Contract based multi-party service composition. Zbl 1141.68502
Bravetti, Mario; Zavattaro, Gianluigi
14
2007
Service oriented computing from a process algebraic perspective. Zbl 1178.68072
Bravetti, Mario; Zavattaro, Gianluigi
5
2007
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
Stochastic and real time in process algebra: a conceptual overview. Zbl 1316.68087
Bravetti, Mario
1
2006
A generic process algebra. Zbl 1316.68084
Baeten, Jos C. M.; Bravetti, Mario
1
2006
A ground-complete axiomatization of finite state processes in process algebra. Zbl 1134.68425
Baeten, Jos C. M.; Bravetti, Mario
7
2005
Quantitative information in the tuple space coordination model. Zbl 1080.68007
Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
3
2005
Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions. Zbl 1203.68113
Bravetti, Mario; D’Argenio, Pedro R.
7
2004
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
2
2004
Discrete time generative-reactive probabilistic processes with different advancing speeds. Zbl 1018.68051
Bravetti, M.; Aldini, A.
9
2003
Performance measure sensitive congruences for Markovian process algebras. Zbl 1019.68065
Bernardo, Marco; Bravetti, Mario
9
2003
Revisiting interactive Markov chains. Zbl 1270.68207
Bravetti, Mario
4
2003
An integrated approach for the specification and analysis of stochastic real-time systems. Zbl 1270.68166
Bravetti, Mario
1
2003
The theory of interactive generalized semi-Markov processes. Zbl 0997.68083
Bravetti, Mario; Gorrieri, Roberto
14
2002
An integrated approach for the specification and analysis of stochastic real-time systems (short abstract). Zbl 1065.68581
Bravetti, Mario
13
2002
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. Zbl 1365.68340
Bravetti, Mario; Gorrieri, Roberto
8
2002
Reward based congruences: Can we aggregate more? Zbl 1007.68132
Bernardo, Marco; Bravetti, Mario
4
2001
Expressing processes with different action durations through probabilities. Zbl 1007.68516
Bravetti, Mario; Aldini, Alessandro
2
2001
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. Zbl 0970.68114
Bravetti, Mario; Bernardo, Marco
11
2000
A complete axiomatziation for observational congruence of prioritized finite-state behaviors. Zbl 0973.68168
Bravetti, Mario; Gorrieri, Roberto
8
2000
Axiomatizing ST bisimulation for a process algebra with recursion and action refinement. (Extended abstract). Zbl 0958.68115
Bravetti, Mario; Gorrieri, Roberto
4
1999
all top 5

Cited by 182 Authors

17 Bravetti, Mario
10 Bernardo, Marco
6 Gorrieri, Roberto
6 Katoen, Joost-Pieter
6 Padovani, Luca
5 Baeten, Jos C. M.
5 Hermanns, Holger
5 Zavattaro, Gianluigi
4 D’Argenio, Pedro Rubén
4 Nunez, Manuel A.
4 Tini, Simone
4 Valero, Valentín
4 Yoshida, Nobuko
3 Gibbons, Jeremy
3 Hildebrandt, Thomas T.
3 Macià, Hermenegilda
3 Stahl, Christian
3 Tarasyuk, Igor Valerievich
3 Wong, Peter Y. H.
2 Andova, Suzana
2 Bartoletti, Massimo
2 Caravagna, Giulio
2 Cimoli, Tiziana
2 Cuartero, Fernando
2 Dezani-Ciancaglini, Mariangiola
2 Georgievska, Sonja
2 Hierons, Robert Mark
2 Lüttgen, Gerald
2 Mostrous, Dimitris
2 Pérez, Jorge A.
2 Slaats, Tijs
2 Vogler, Walter
2 Zhang, Jinjin
2 Zhang, Yan
2 Zhu, Zhaohui
2 Zunino, Roberto
1 Aldini, Alessandro
1 Arnold, Florian
1 Bacci, Giorgio
1 Baier, Christel
1 Baller, Hauke
1 Balsamo, Simonetta
1 Barbanera, Franco
1 Barbuti, Roberto
1 Bhattacharyya, Anirban
1 Bocchi, Laura
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Bossi, Annalisa
1 Botta, Stefania
1 Bouyer, Patricia
1 Bretschneider, Jan
1 Brihaye, Thomas
1 Bruni, Roberto
1 Budde, Carlos Ernesto
1 Bueno, Antonio
1 Busi, Nadia
1 Butterfield, Andrew
1 Caires, Luís
1 Camacho, Carlos J.
1 Cambronero, María Emilia
1 Capecchi, Sara
1 Carbone, Marco
1 Cardelli, Luca
1 Carlier, Pierre
1 Castagna, Giuseppe
1 Castellani, Ilaria
1 Castiglioni, Valentina
1 Chen, Zhenbang
1 Ciancia, Vincenzo
1 Clarke, Dave
1 Cleaveland, Rance
1 Corradini, Andrea
1 Corradini, Flavio
1 Cuijpers, Pieter J. L.
1 Darquennes, Denis
1 de Frutos, David
1 De Nicola, Rocco
1 de Vink, Erik P.
1 Debois, Søren
1 Dei Rossi, Gian-Luca
1 de’Liguoro, Ugo
1 Deng, Yuxin
1 Di Giusto, Cinzia
1 Di Pierro, Alessandra
1 Diaz, Gregorio
1 Drossopoulou, Sophia Chloe
1 Ferrari, Gian Luigi
1 Fiadeiro, José Luiz
1 Gadducci, Fabio
1 Gebler, Daniel E.
1 Ghassemi, Fatemeh
1 Ghilezan, Silvia
1 Giachino, Elena
1 Guanciale, Roberto
1 Guck, Dennis
1 Hankin, Chris L.
1 Hatefi, Hassan
1 Hennessy, Matthew C. B.
1 Herzog, Ulrich
...and 82 more Authors

Citations by Year