


Остановите войну!
for scientists:


default search action
Mario 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
- 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