MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Mario Bravetti" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

23 documents found, showing 1 through 10. Next 10 →

ATOM

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
by Mario Bravetti — 2003
…-Time Systems Mario Bravetti 1 Dipartimento di Scienze dell'Informazione, University of Bologna, Mura Anteo…
Add To MetaCart

Revisiting interactive Markov chains
by Mario Bravetti — 2002 — In Proc. Models for Time-Critical Systems
…://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
by Mario Bravetti — 1999 — in Proc. of the 3rd European Research Seminar on Advances in Distributed Systems (ERSADS '99), Madeira Island
…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
by Mario Bravetti, Roberto Gorrieri — 2000 — in Proc. of the 27th Int. Colloquium on Automata, Languages and Programming (ICALP
…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
by Mario Bravetti, Roberto Gorrieri — 2002 — ACM Transactions on Computational Logic
… 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?
by Marco Bernardo, Mario Bravetti — 2001 — In In Proc. of PAPM-ProbMIV 2001, Aachen (Germany), volume 2165 of LNCS
…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)
by Mario Bravetti, Roberto Gorrieri — 1999
… 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
by Marco Bernardo, Mario Bravetti — 1998 — in Proc. of 6th Italian Conf. on Theoretical Computer Science, World Scienti
…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
by Mario Bravetti, Gianluigi Zavattaro — 2007 — In Pre-proceedings of 6th Symposium on Software Composition
…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
by Mario Bravetti, Alessandro Aldini — 2001
… Distributions Mario Bravetti 1 and Alessandro Aldini 2 Dipartimento di Scienze dell'Informazione, University…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB