Stochastic pi-calculus revisited

Luca Cardelli, Radu Mardare

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationTheoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings
EditorsZhiming Liu, Jim Woodcock, Zhu Huibiao
Place of PublicationBerlin
PublisherSpringer-Verlag
Chapter1
Pages1-21
Number of pages21
ISBN (Print)9783642397172
Publication statusPublished - 15 Jul 2013
Event10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 - Shanghai, China
Duration: 4 Sep 20136 Sep 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8049 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013
CountryChina
CityShanghai
Period4/09/136/09/13

Keywords

  • stochastic Pi-calculus
  • semantics
  • measure theory
  • structural congruence

Fingerprint Dive into the research topics of 'Stochastic pi-calculus revisited'. Together they form a unique fingerprint.

Cite this