Searching for authors named "Mario Bravetti" – sorted by Relevance.
-
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
- -Time Systems Mario Bravetti 1 Dipartimento di Scienze dell'Informazione, University of Bologna, Mura Anteo
- Add To MetaCart
-
Revisiting interactive Markov chains
- ://www.elsevier.nl/locate/entcs/volume68.html 20 pages Revisiting Interactive Markov Chains Mario Bravetti 1 Dipartimento di Scienze
- Cited by 4 (0 self) – Add To MetaCart
-
Towards the Integration of Real-Time and Probabilistic-Time Process Algebras
- Towards the Integration of Real-Time and Probabilistic-Time Process Algebras Mario Bravetti
- Cited by 3 (1 self) – Add To MetaCart
-
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
- A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors Mario
- Cited by 5 (1 self) – Add To MetaCart
-
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
- Refinement MARIO BRAVETTI and ROBERTO GORRIERI University of Bologna Due to the complex nature
- Cited by 9 (3 self) – Add To MetaCart
-
Reward Based Congruences: Can We Aggregate More?
- Reward Based Congruences: Can We Aggregate More? Marco Bernardo 1 and Mario Bravetti 2 1
- Cited by 3 (2 self) – Add To MetaCart
-
Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)
- and Action Refinement (Extended Abstract) 1 Mario Bravetti, Roberto Gorrieri Dipartimento di Scienze dell
- Cited by 5 (4 self) – Add To MetaCart
-
Functional And Performance Modeling And Analysis Of Token Ring Using Empa
- FUNCTIONAL AND PERFORMANCE MODELING AND ANALYSIS OF TOKEN RING USING EMPA MARCO BERNARDO, MARIO
- Cited by 2 (2 self) – Add To MetaCart
-
Towards a unifying theory for choreography conformance and contract compliance
- Towards a Unifying Theory for Choreography Conformance and Contract Compliance ⋆ Mario Bravetti
- Cited by 8 (0 self) – Add To MetaCart
-
Non-determinism in Probabilistic Timed Systems with General Distributions
- Distributions Mario Bravetti 1 and Alessandro Aldini 2 Dipartimento di Scienze dell'Informazione, University
- Cited by 3 (1 self) – Add To MetaCart

