References
Rocco De Nicola, Diego Latella, Michele Loreti, and Mieke Massink. A uniform definition of stochastic process calculi. ACM Comput. Surv., 46(1):5:1–5:35, 2013
Jane Hillston. A compositional approach to performance modelling. PhD thesis, University of Edinburgh, UK, 1994
Klin, Bartek, Sassone, Vladimiro: Structural operational semantics for stochastic and weighted transition systems. Inf. Comput. 227, 58–83 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Reviewed by Michele Loreti
Rights and permissions
About this article
Cite this article
Loreti, M. Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Form Asp Comp 33, 457–458 (2021). https://doi.org/10.1007/s00165-021-00534-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-021-00534-7