@inproceedings{70ade7e0e35c4a88bc36ca3edfc35fe6,

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",

month = jul,

day = "15",

language = "English",

isbn = "9783642397172",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "1--21",

editor = "Zhiming Liu and Jim Woodcock and Zhu Huibiao",

booktitle = "Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings",

note = "10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 ; Conference date: 04-09-2013 Through 06-09-2013",

}