M. Bernardo and M. Bravetti, Performance measure sensitive congruences for Markovian process algebras, Theoretical Computer Science, vol.290, pp.117-160, 2003.
DOI : 10.1016/s0304-3975(01)00090-1
URL : https://doi.org/10.1016/s0304-3975(01)00090-1

M. Bravetti, Stochastic Semantics in the Presence of Structural Congruence: Reduction Semantics for Stochastic Pi-Calculus

M. Bravetti and P. R. , Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions, Validation of Stochastic Systems, vol.2925, pp.44-88, 2004.

M. Bravetti, S. Gilmore, C. Guidi, and M. Tribastone, Replicating Web Services for Scalability, Proc. of Trustworthy Global Computing, Third Symposium (TGC'07), vol.4912, pp.204-221, 2007.

M. Bravetti and R. Gorrieri, The Theory of Interactive Generalized Semi-Markov Processes, Theoretical Computer Science, vol.282, pp.5-32, 2002.

M. Bravetti and R. Gorrieri, Deciding and Axiomatizing Weak ST Bisimulation for a Process Algebra with Recursion and Action Refinement, ACM Transactions on Computational Logic, vol.3, issue.4, pp.465-520, 2002.

M. Bravetti, H. Hermanns, and J. Katoen, YMCA:-Why Markov Chain Algebra?, Electr. Notes Theor. Comput. Sci, vol.162, pp.107-112, 2006.

L. Cardelli and R. Mardare, Stochastic Pi-calculus Revisited, proc. of 10th Int. Coll. on Theoretical Aspects of Computing (ICTAC 2013), vol.8049, pp.1-21, 2013.

R. De-nicola, D. Latella, M. Loreti, and M. Massink, A Uniform Definition of Stochastic Process Calculi, ACM Computing Surveys, vol.46, issue.1, 2013.

R. De-nicola, D. Latella, and M. Massink, Formal modeling and quantitative analysis of KLAIM-based mobile systems, proc. of the 2005 ACM Symposium on Applied Computing, pp.428-435, 2005.

J. Desharnais, A. Edalat, and P. Panangaden, Bisimulation for Labelled Markov Processes, Information and Computation, vol.179, issue.2, pp.163-193, 2002.

B. Klin and V. Sassone, Structural operational semantics for stochastic and weighted transition systems, Information and Computation, vol.227, pp.58-83, 2013.

M. Giry, A categorical approach to probability theory, Categorical Aspects of Topology and Analysis, vol.915, pp.68-85, 1982.

N. Götz, U. Herzog, and M. Rettelbach, TIPP-A Stochastic Process Algebra, proc. of 1st workshop on Process Algebras and Perf. Modeling (PAPM '93, pp.31-36, 1994.

J. F. Groote, Transition system specifications with negative premises, Theoretical Computer Science, vol.118, pp.263-299, 1993.

H. Hermanns, Interactive Markov Chains: The quest for quantified quality, 2002.

J. Hillston, A Compositional Approach to Performance Modelling, 1996.

E. B. Johnsen and O. Owe, An asynchronous communication model for distributed concurrent objects, Software and System Modeling, vol.6, pp.35-58, 2007.

R. Milner, Communicating and mobile systems-the Pi-calculus, 1999.

R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes I and II, Information and Computation, vol.100, issue.1, pp.1-77, 1992.

C. Priami, Stochastic ?-Calculus, Computer Journal, vol.38, issue.6, pp.578-589, 1995.

D. Sangiorgi and D. Walker, The pi-calculus: a Theory of Mobile Processes, 2001.

R. Segala and N. A. Lynch, Probabilistic Simulations for Probabilistic Processes, Nordic Journal of Computing, vol.2, issue.2, pp.250-273, 1995.
DOI : 10.1007/978-3-540-48654-1_35

E. P. De-vink and J. J. Rutten, Bisimulation for Probabilistic Transition Systems, A Coalgebraic Approach, Theoretical Computer Science, vol.221, issue.1-2, pp.271-293, 1999.