Mario Bravetti An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. [Citation Graph (0, 0)][DBLP] PAPM-PROBMIV, 2002, pp:209-210 [Conf]
Mario Bravetti, Pedro R. D'Argenio Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. [Citation Graph (0, 0)][DBLP] Validation of Stochastic Systems, 2004, pp:44-88 [Conf]
Mario Bravetti An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
Mario Bravetti, Marco Bernardo Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
Mario Bravetti, Roberto Gorrieri Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal]
Mario Bravetti Stochastic and Real Time in Process Algebra: A Conceptual Overview. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:113-119 [Journal]
Mario Bravetti, Roberto Gorrieri Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2002, v:3, n:4, pp:465-520 [Journal]
Contract Compliance and Choreography Conformance in the Presence of Message Queues. [Citation Graph (, )][DBLP]
On the Expressive Power of Process Interruption and Compensation. [Citation Graph (, )][DBLP]
File Managing and Program Execution in Web Operating Systems [Citation Graph (, )][DBLP]
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. [Citation Graph (, )][DBLP]
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.156secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP