@inproceedings{b7c9c17236e24fa1a14c80d92266c03f,
title = "Stochastic Pi-calculus Revisited",
abstract = "We develop a version of stochastic Pi-calculus with a semantics based on measure theory. We dene 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 congruenc.",
author = "Luca Cardelli and Mardare, {Radu Iulian}",
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 Publishing Company",
pages = "1--21",
editor = "Zhiming Liu and Jim Woodcock and Huibiao Zhu",
booktitle = "Theoretical Aspects of Computing - ICTAC 2013",
address = "United States",
note = "10th International Colloquium on Theoretical Aspects of Computing, ICTAC ; Conference date: 04-09-2013 Through 06-09-2013",
}