default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMario Bravetti
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j36]Lorenzo Bacchiani
, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro:
Proactive-reactive microservice architecture global scaling. J. Syst. Softw. 220: 112262 (2025)- 2024
- [j35]Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
Fair Asynchronous Session Subtyping. Log. Methods Comput. Sci. 20(4) (2024) - [c62]Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara:
Behavioural Up/down Casting For Statically Typed Languages. ECOOP 2024: 5:1-5:28 - [p3]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro:
Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends 2024: 169-198 - 2022
- [j34]Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna:
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. 5(3): 32-37 (2022) - [j33]Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara:
A Java typestate checker supporting inheritance. Sci. Comput. Program. 221: 102844 (2022) - [c61]Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco De Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna, Corrado Iorizzo, Andrea Livaldi, Luca Magnotta, Mirko Orsini:
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT 2022: 90-91 - [c60]Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro:
Proactive-Reactive Global Scaling, with Analytics. ICSOC 2022: 237-254 - 2021
- [j32]Mario Bravetti:
Axiomatizing Maximal Progress and Discrete Time. Log. Methods Comput. Sci. 17(1) (2021) - [j31]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17(1) (2021) - [j30]Mario Bravetti, Gianluigi Zavattaro:
Asynchronous session subtyping as communicating automata refinement. Softw. Syst. Model. 20(2): 311-333 (2021) - [c59]Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
A Session Subtyping Tool. COORDINATION 2021: 90-105 - [c58]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION 2021: 257-275 - [c57]Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
Fair Refinement for Asynchronous Session Types. FoSSaCS 2021: 144-163 - [i12]Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
Fair Refinement for Asynchronous Session Types (extended version). CoRR abs/2101.08181 (2021) - [i11]Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
A Session Subtyping Tool (Extended Version). CoRR abs/2104.12455 (2021) - [i10]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR abs/2104.12466 (2021) - 2020
- [j29]Mario Bravetti, Gianluigi Zavattaro:
Process calculi as a tool for studying coordination, contracts and session types. J. Log. Algebraic Methods Program. 112: 100527 (2020) - [c56]Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara:
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS 2020: 105-124 - [p2]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering 2020: 183-208 - [i9]Mario Bravetti:
Axiomatizing Maximal Progress and Discrete Time. CoRR abs/2001.08040 (2020) - [i8]Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara:
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. CoRR abs/2002.12793 (2020) - [i7]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Interface Based Deployment Orchestration. CoRR abs/2008.01638 (2020)
2010 – 2019
- 2019
- [j28]Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti:
Probabilistic software product lines. J. Log. Algebraic Methods Program. 107: 54-78 (2019) - [c55]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 2019: 38:1-38:16 - [c54]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Optimal and Automated Deployment for Microservices. FASE 2019: 351-368 - [c53]Mario Bravetti, Gianluigi Zavattaro:
Relating Session Types and Behavioural Contracts: The Asynchronous Case. SEFM 2019: 29-47 - [i6]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Optimal and Automated Deployment for Microservices. CoRR abs/1901.09782 (2019) - [i5]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR abs/1907.00421 (2019) - 2018
- [j27]Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro:
A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae 159(3): 197-256 (2018) - [j26]Mario Bravetti:
Reduction semantics in Markovian process algebra. J. Log. Algebraic Methods Program. 96: 41-64 (2018) - [j25]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. 722: 19-51 (2018) - [c52]Mario Bravetti, Gianluigi Zavattaro:
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. COORDINATION 2018: 21-50 - 2017
- [j24]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Undecidability of asynchronous session subtyping. Inf. Comput. 256: 300-320 (2017) - [j23]Juan Boubeta-Puig, Mario Bravetti, Luis Llana, Mercedes G. Merayo:
Analysis of temporal complex events in sensor networks. J. Inf. Telecommun. 1(3): 273-289 (2017) - [j22]Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong:
Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. 86(1): 349-390 (2017) - [j21]Mario Bravetti:
RESTful Services and Web-OS Middleware: a Formal Specification Approach. J. Univers. Comput. Sci. 23(9): 808-844 (2017) - [j20]Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo:
Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. 16(1): 5-6 (2017) - [i4]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR abs/1703.00659 (2017) - 2016
- [j19]Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [i3]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Undecidability of Asynchronous Session Subtyping. CoRR abs/1611.05026 (2016) - 2015
- [j18]Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi:
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. 5(1): 1-2 (2015) - [c51]Mario Bravetti:
Towards Dynamic Updates in Service Composition. FOCLASA 2015: 1-17 - [i2]Mario Bravetti:
Reduction Semantics in Markovian Process Algebra. CoRR abs/1512.07098 (2015) - 2014
- [c50]Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro:
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) 2014: 22-36 - [c49]Mario Bravetti, Gianluigi Zavattaro:
Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* 2014: 12-31 - 2013
- [c48]Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro:
Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14 - [c47]Mario Bravetti:
Formalizing RESTful Services and Web-OS Middleware. WS-FM 2013: 48-68 - [e7]Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti:
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science 8137, Springer 2013, ISBN 978-3-642-40560-0 [contents] - 2012
- [j17]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable processes. Log. Methods Comput. Sci. 8(4) (2012) - [c46]Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro:
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS 2012: 110-127 - [c45]Michael Lienhardt, Mario Bravetti, Davide Sangiorgi:
An Object Group-Based Component Model. ISoLA (1) 2012: 64-78 - [c44]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Towards the Verification of Adaptable Processes. ISoLA (1) 2012: 269-283 - 2011
- [c43]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105 - [p1]Michele Boreale, Mario Bravetti:
Advanced Mechanisms for Service Composition, Query and Discovery. Results of the SENSORIA Project 2011: 282-301 - [e6]Mario Bravetti, Tevfik Bultan:
Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6551, Springer 2011, ISBN 978-3-642-19588-4 [contents] - 2010
- [c42]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Steps on the Road to Component Evolvability. FACS 2010: 295-299 - [c41]Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter:
A Component Model for the ABS Language. FMCO 2010: 165-183 - [i1]Mario Bravetti:
File Managing and Program Execution in Web Operating Systems. CoRR abs/1005.5045 (2010)
2000 – 2009
- 2009
- [j16]Mario Bravetti, Gianluigi Zavattaro:
On the expressive power of process interruption and compensation. Math. Struct. Comput. Sci. 19(3): 565-599 (2009) - [j15]Mario Bravetti, Gianluigi Zavattaro:
A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. 19(3): 601-638 (2009) - [c40]Mario Bravetti, Gianluigi Zavattaro:
Contract-Based Discovery and Composition of Web Services. SFM 2009: 261-295 - [e5]Mario Bravetti, Gianluigi Zavattaro:
CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science 5710, Springer 2009, ISBN 978-3-642-04080-1 [contents] - 2008
- [j14]Mario Bravetti, Gianluigi Zavattaro:
A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Informaticae 89(4): 451-478 (2008) - [j13]Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 75(1): 1-2 (2008) - [j12]Jos C. M. Baeten, Mario Bravetti:
A ground-complete axiomatisation of finite-state processes in a generic process algebra. Math. Struct. Comput. Sci. 18(6): 1057-1089 (2008) - [c39]Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro:
Contract-Driven Implementation of Choreographies. TGC 2008: 1-18 - [c38]Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [c37]Mario Bravetti, Gianluigi Zavattaro:
On the Expressive Power of Process Interruption and Compensation. WS-FM 2008: 1-18 - [c36]Mario Bravetti, Gianluigi Zavattaro:
Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM 2008: 37-54 - 2007
- [j11]Mario Bravetti, Gianluigi Zavattaro:
Guest editor's introduction: Special issue on Web Services and Formal Methods. J. Log. Algebraic Methods Program. 70(1): 1-2 (2007) - [j10]Mario Bravetti, Gianluigi Zavattaro:
Service oriented computing from a process algebraic perspective. J. Log. Algebraic Methods Program. 70(1): 3-14 (2007) - [j9]Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 70(2): 119-120 (2007) - [j8]Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 72(1): 1-2 (2007) - [j7]Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez:
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. Univers. Comput. Sci. 13(13): 2035-2075 (2007) - [c35]Mario Bravetti, Gianluigi Zavattaro:
A Theory for Strong Service Compliance. COORDINATION 2007: 96-112 - [c34]Mario Bravetti, Gianluigi Zavattaro:
Contract Based Multi-party Service Composition. FSEN 2007: 207-222 - [c33]Mario Bravetti, Gianluigi Zavattaro:
Towards a Unifying Theory for Choreography Conformance and Contract Compliance. SC@ETAPS 2007: 34-50 - [c32]Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone:
Replicating Web Services for Scalability. TGC 2007: 204-221 - [c31]Mario Bravetti:
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. EXPRESS 2007: 31-57 - 2006
- [c30]Mario Bravetti:
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. LIX 2006: 83-106 - [e4]Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro:
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Lecture Notes in Computer Science 4184, Springer 2006, ISBN 3-540-38862-1 [contents] - 2005
- [j6]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005) - [c29]Jos C. M. Baeten, Mario Bravetti:
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. CONCUR 2005: 248-262 - [c28]Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Supporting e-commerce systems formalization with choreography languages. SAC 2005: 831-835 - [c27]Jos C. M. Baeten, Mario Bravetti:
A Generic Process Algebra. APC 25 2005: 65-71 - [c26]Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen:
YMCA: - Why Markov Chain Algebra? - . APC 25 2005: 107-112 - [c25]Mario Bravetti:
Stochastic and Real Time in Process Algebra: A Conceptual Overview. APC 25 2005: 113-119 - [c24]Mario Bravetti, Gianluigi Zavattaro:
Service Oriented Computing: A New Challenge for Process Algebras. APC 25 2005: 121-125 - [c23]Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez:
From Theoretical e-barter Models to an Implementation Based on Web Services. FSEN 2005: 241-264 - [e3]Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro:
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Lecture Notes in Computer Science 3670, Springer 2005, ISBN 3-540-28701-9 [contents] - 2004
- [j5]Alessandro Aldini, Mario Bravetti, Roberto Gorrieri:
A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12(2): 191-245 (2004) - [c22]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70 - [c21]Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust 2004: 1-12 - [c20]Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri:
Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806 - [c19]Mario Bravetti:
Real Time and Stochastic Time. SFM 2004: 132-180 - [c18]Mario Bravetti, Pedro R. D'Argenio:
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. Validation of Stochastic Systems 2004: 44-88 - [c17]Mario Bravetti, Gianluigi Zavattaro:
Preface. WSFM 2004: 1-4 - [c16]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. SecCo 2004: 39-53 - [e2]Mario Bravetti, Roberto Gorrieri:
Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003. Electronic Notes in Theoretical Computer Science 99, Elsevier 2004 [contents] - [e1]Mario Bravetti, Gianluigi Zavattaro:
Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004. Electronic Notes in Theoretical Computer Science 105, Elsevier 2004 [contents] - 2003
- [j4]Marco Bernardo, Mario Bravetti:
Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. 290(1): 117-160 (2003) - [j3]Mario Bravetti, Alessandro Aldini:
Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. 290(1): 355-406 (2003) - [c15]Mario Bravetti, Roberto Gorrieri:
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. MEFISTO 2003: 1-2 - [c14]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Combining Partitions in SecSpaces. MEFISTO 2003: 31-47 - [c13]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi:
A formal approach for checking security properties in SecSpaces. SecCo 2003: 54-70 - 2002
- [j2]Mario Bravetti, Roberto Gorrieri:
The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002) - [j1]Mario Bravetti, Roberto Gorrieri:
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ACM Trans. Comput. Log. 3(4): 465-520 (2002) - [c12]Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky:
Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43 - [c11]Mario Bravetti:
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. PAPM-PROBMIV 2002: 209-210 - [c10]Mario Bravetti:
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. MTCS 2002: 34-64 - [c9]Mario Bravetti:
Revisiting Interactive Markov Chains. MTCS 2002: 65-84 - 2001
- [c8]Marco Bernardo, Mario Bravetti:
Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV 2001: 136-151 - [c7]Mario Bravetti, Alessandro Aldini:
Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV 2001: 168-183 - [c6]Mario Bravetti, Alessandro Aldini:
Non-determinism in Probabilistic Timed Systems with General Distributions. MTCS 2001: 246-274 - 2000
- [c5]Alessandro Aldini, Mario Bravetti:
An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops 2000: 591-606 - [c4]Mario Bravetti, Roberto Gorrieri:
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP 2000: 744-755 - [c3]Mario Bravetti, Marco Bernardo:
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. MTCS 2000: 197-230
1990 – 1999
- 1999
- [c2]Mario Bravetti, Roberto Gorrieri:
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. EXPRESS 1999: 107-126 - 1998
- [c1]Mario Bravetti, Marco Bernardo, Roberto Gorrieri:
Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR 1998: 405-422
Coauthor Index
[j36] [j35] [p3] [j34] [c61] [c60] [j31] [j30] [c59] [c58] [c57] [i12] [i11] [i10] [j29] [p2] [i7] [c55] [c54] [c53] [i6] [i5] [j27] [j25] [c52] [j24] [i4] [i3] [c50] [c49] [c48] [j17] [c46] [c44] [c43] [c42] [c41] [j16] [j15] [c40] [e5] [j14] [c39] [c38] [c37] [c36] [j11] [j10] [c35] [c34] [c33] [e4] [j6] [c28] [c24] [e3] [c22] [c21] [c20] [c17] [c16] [e1] [c14]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-03 01:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
