×

zbMATH — the first resource for mathematics

Bravetti, Mario

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

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 187 times in 112 Documents Cited by Year
The theory of interactive generalized semi-Markov processes. Zbl 0997.68083
Bravetti, Mario; Gorrieri, Roberto
15
2002
An integrated approach for the specification and analysis of stochastic real-time systems (short abstract). Zbl 1065.68581
Bravetti, Mario
15
2002
Contract based multi-party service composition. Zbl 1141.68502
Bravetti, Mario; Zavattaro, Gianluigi
14
2007
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. Zbl 0970.68114
Bravetti, Mario; Bernardo, Marco
12
2000
A complete axiomatziation for observational congruence of prioritized finite-state behaviors. Zbl 0973.68168
Bravetti, Mario; Gorrieri, Roberto
9
2000
Performance measure sensitive congruences for Markovian process algebras. Zbl 1019.68065
Bernardo, Marco; Bravetti, Mario
9
2003
Discrete time generative-reactive probabilistic processes with different advancing speeds. Zbl 1018.68051
Bravetti, M.; Aldini, A.
9
2003
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. Zbl 1365.68340
Bravetti, Mario; Gorrieri, Roberto
9
2002
Undecidability of asynchronous session subtyping. Zbl 1376.68098
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
8
2017
A ground-complete axiomatization of finite state processes in process algebra. Zbl 1134.68425
Baeten, Jos C. M.; Bravetti, Mario
8
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
7
2012
A foundational theory of contracts for multi-party service composition. Zbl 1154.68336
Bravetti, Mario; Zavattaro, Gianluigi
6
2008
On the expressive power of process interruption and compensation. Zbl 1186.68317
Bravetti, Mario; Zavattaro, Gianluigi
6
2009
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
Service oriented computing from a process algebraic perspective. Zbl 1178.68072
Bravetti, Mario; Zavattaro, Gianluigi
5
2007
A ground-complete axiomatisation of finite-state processes in a generic process algebra. Zbl 1158.68028
Baeten, Jos C. M.; Bravetti, Mario
5
2008
A theory of contracts for strong service compliance. Zbl 1186.68318
Bravetti, Mario; Zavattaro, Gianluigi
5
2009
Reward based congruences: Can we aggregate more? Zbl 1007.68132
Bernardo, Marco; Bravetti, Mario
4
2001
Revisiting interactive Markov chains. Zbl 1270.68207
Bravetti, Mario
4
2003
On the boundary between decidability and undecidability of asynchronous session subtyping. Zbl 1388.68024
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
4
2018
Axiomatizing ST bisimulation for a process algebra with recursion and action refinement. (Extended abstract). Zbl 0958.68115
Bravetti, Mario; Gorrieri, Roberto
3
1999
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
3
2004
Reduction semantics in Markovian process algebra. Zbl 1430.68160
Bravetti, Mario
2
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
2
2018
Expressing processes with different action durations through probabilities. Zbl 1007.68516
Bravetti, Mario; Aldini, Alessandro
2
2001
Process calculi as a tool for studying coordination, contracts and session types. Zbl 07189660
Bravetti, Mario; Zavattaro, Gianluigi
1
2020
A generic process algebra. Zbl 1316.68084
Baeten, Jos C. M.; Bravetti, Mario
1
2006
Stochastic and real time in process algebra: a conceptual overview. Zbl 1316.68087
Bravetti, Mario
1
2006
An integrated approach for the specification and analysis of stochastic real-time systems. Zbl 1270.68166
Bravetti, Mario
1
2003
Expressing priorities and external probabilities in process algebra via mixed open/closed systems. Zbl 1277.68166
Bravetti, Mario
1
2008
Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time. Zbl 1279.68250
Bravetti, Mario
1
2008
Process calculi as a tool for studying coordination, contracts and session types. Zbl 07189660
Bravetti, Mario; Zavattaro, Gianluigi
1
2020
On the boundary between decidability and undecidability of asynchronous session subtyping. Zbl 1388.68024
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
4
2018
Reduction semantics in Markovian process algebra. Zbl 1430.68160
Bravetti, Mario
2
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
2
2018
Undecidability of asynchronous session subtyping. Zbl 1376.68098
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
8
2017
Adaptable processes. Zbl 1253.68237
Bravetti, Mario; di Giusto, Cinzia; Perez, Jorge A.; Zavattaro, Gianluigi
7
2012
On the expressive power of process interruption and compensation. Zbl 1186.68317
Bravetti, Mario; Zavattaro, Gianluigi
6
2009
A theory of contracts for strong service compliance. Zbl 1186.68318
Bravetti, Mario; Zavattaro, Gianluigi
5
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
5
2008
Expressing priorities and external probabilities in process algebra via mixed open/closed systems. Zbl 1277.68166
Bravetti, Mario
1
2008
Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time. Zbl 1279.68250
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
A generic process algebra. Zbl 1316.68084
Baeten, Jos C. M.; Bravetti, Mario
1
2006
Stochastic and real time in process algebra: a conceptual overview. Zbl 1316.68087
Bravetti, Mario
1
2006
A ground-complete axiomatization of finite state processes in process algebra. Zbl 1134.68425
Baeten, Jos C. M.; Bravetti, Mario
8
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
3
2004
Performance measure sensitive congruences for Markovian process algebras. Zbl 1019.68065
Bernardo, Marco; Bravetti, Mario
9
2003
Discrete time generative-reactive probabilistic processes with different advancing speeds. Zbl 1018.68051
Bravetti, M.; Aldini, A.
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
15
2002
An integrated approach for the specification and analysis of stochastic real-time systems (short abstract). Zbl 1065.68581
Bravetti, Mario
15
2002
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. Zbl 1365.68340
Bravetti, Mario; Gorrieri, Roberto
9
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
12
2000
A complete axiomatziation for observational congruence of prioritized finite-state behaviors. Zbl 0973.68168
Bravetti, Mario; Gorrieri, Roberto
9
2000
Axiomatizing ST bisimulation for a process algebra with recursion and action refinement. (Extended abstract). Zbl 0958.68115
Bravetti, Mario; Gorrieri, Roberto
3
1999
all top 5

Cited by 173 Authors

19 Bravetti, Mario
10 Bernardo, Marco
6 Gorrieri, Roberto
6 Katoen, Joost-Pieter
6 Zavattaro, Gianluigi
5 Baeten, Jos C. M.
5 Hermanns, Holger
5 Padovani, Luca
5 Tini, Simone
5 Yoshida, Nobuko
4 D’Argenio, Pedro Rubén
4 Nunez, Manuel A.
4 Valero, Valentín
3 Bartoletti, Massimo
3 Dezani-Ciancaglini, Mariangiola
3 Gibbons, Jeremy
3 Macià, Hermenegilda
3 Pérez, Jorge A.
3 Stahl, Christian
3 Tarasyuk, Igor’ Valer’evich
3 Wong, Peter Y. H.
2 Andova, Suzana
2 Barbanera, Franco
2 Bocchi, Laura
2 Caravagna, Giulio
2 Carbone, Marco
2 Cimoli, Tiziana
2 Cuartero, Fernando
2 Georgievska, Sonja
2 Hierons, Robert Mark
2 Hildebrandt, Thomas T.
2 Lange, Julien
2 Lüttgen, Gerald
2 Mostrous, Dimitris
2 Murgia, Maurizio
2 Pantović, Jovanka
2 Slaats, Tijs
2 Tuosto, Emilio
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 Barbuti, Roberto
1 Bhattacharyya, Anirban
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 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 Dedeić, Jovana
1 Dei Rossi, Gian-Luca
1 de’Liguoro, Ugo
1 Deng, Yuxin
1 Di Giusto, Cinzia
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 Hatefi, Hassan
1 Hennessy, Matthew C. B.
...and 73 more Authors

Citations by Year