Abstract
A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes. Stochastic bisimilarity is guaranteed a congruence for systems defined by SGSOS rules. Associativity of parallel composition in stochastic process algebras is also studied within the framework.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aceto, L., Fokkink, W.J., Verhoef, C.: Structural operational semantics. In: Bergstra, J.A., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 197–292. Elsevier, Amsterdam (2002)
Bartels, F.: On Generalised Coinduction and Probabilistic Specification Formats. PhD dissertation, CWI, Amsterdam (2004)
Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor. Comp. Sci. 202(1–2), 1–54 (1998)
Bloom, B., Istrail, S., Meyer, A.: Bisimulation can’t be traced. Journal of the ACM 42, 232–268 (1995)
Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM 31, 560–599 (1995)
Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Procs. CMSB 2005, pp. 204–215 (2005)
de Vink, E.P., Rutten, J.J.M.M.: Bisimulation for probabilistic transition systems: A coalgebraic approach. Theoretical Computer Science 221(1–2), 271–293 (1999)
Degano, P., Priami, C.: Enhanced operational semantics. ACM Comput. Surv. 28(2), 352–354 (1996)
Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. Information and Computation 179, 163–193 (2002)
Fiore, M., Staton, S.: A congruence rule format for name-passing process calculi from mathematical structural operational semantics. In: Proc. LICS 2006, pp. 49–58. IEEE Computer Society Press, Los Alamitos (2006)
Götz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In: Performance/SIGMETRICS Tutorials, pp. 121–146 (1993)
Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoretical Computer Science 274(1–2), 43–87 (2002)
Hillston, J.: On the nature of synchronisation. In: Procs. PAPM 1994, pp. 51–70 (1994)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Hillston, J.: Process algebras for quantitative analysis. In: Procs. LiCS 2005, pp. 239–248. IEEE Computer Society Press, Los Alamitos (2005)
Lanotte, R., Tini, S.: Probabilistic bisimulation as a congruence. ACM Trans. Comp. Logic (to appear, 2008)
Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and Computation 94, 1–28 (1991)
Milner, R.: A calculus of communicating systems. Journal of the ACM (1980)
Plotkin, G.D.: A structural approach to operational semantics. DAIMI Report FN-19, Computer Science Department, Aarhus University (1981)
Priami, C.: Stochastic π-calculus. Computer Journal 38(7), 578–589 (1995)
Priami, C.: Language-based performance prediction for distributed and mobile systems. Information and Computation 175(2), 119–145 (2002)
Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the π-calculus process algebra. In: Proc. Pacific Symp. Biocomp. (2001)
Rutten, J.J.M.M.: Universal coalgebra: A theory of systems. Theoretical Computer Science 249, 3–80 (2000)
Turi, D., Plotkin, G.D.: Towards a mathematical operational semantics. In: Proc. LICS 1997, pp. 280–291. IEEE Computer Society Press, Los Alamitos (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Klin, B., Sassone, V. (2008). Structural Operational Semantics for Stochastic Process Calculi. In: Amadio, R. (eds) Foundations of Software Science and Computational Structures. FoSSaCS 2008. Lecture Notes in Computer Science, vol 4962. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78499-9_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-78499-9_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78497-5
Online ISBN: 978-3-540-78499-9
eBook Packages: Computer ScienceComputer Science (R0)