@inproceedings{dc8df50fb5134ac49880e555409d0633,
title = "Stochastic pi-calculus revisited",
abstract = "We develop a version of stochastic Pi-calculus with a semantics based on measure theory. We define the behaviour of a process in a rate environment using measures over the measurable space of processes induced by structural congruence. We extend the stochastic bisimulation to include the concept of rate environment and prove that this equivalence is a congruence which extends the structural congruence.",
keywords = "stochastic Pi-calculus, semantics, measure theory, structural congruence",
author = "Luca Cardelli and Radu Mardare",
year = "2013",
doi = "10.1007/978-3-642-39718-9\_1",
language = "English",
isbn = "978-3-642-39717-2",
volume = "8049",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--21",
editor = "Liu, \{Zhiming \} and Jim Woodcock and Huibiao Zhu",
booktitle = "Theoretical Aspects of Computing - ICTAC 2013",
address = "Germany",
}