Stochastic pi-calculus revisited

Luca Cardelli, Radu Mardare

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

1 Citation (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

Fingerprint

π-calculus
Congruence
Semantics
Measurable space
Measure Theory
Bisimulation
Equivalence

Keywords

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

Cite this

Cardelli, L., & Mardare, R. (2013). Stochastic pi-calculus revisited. In Z. Liu, J. Woodcock, & Z. Huibiao (Eds.), Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings (pp. 1-21). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8049 LNCS). Berlin: Springer-Verlag.
Cardelli, Luca ; Mardare, Radu. / Stochastic pi-calculus revisited. Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings. editor / Zhiming Liu ; Jim Woodcock ; Zhu Huibiao. Berlin : Springer-Verlag, 2013. pp. 1-21 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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 = "7",
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",

}

Cardelli, L & Mardare, R 2013, Stochastic pi-calculus revisited. in Z Liu, J Woodcock & Z Huibiao (eds), Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8049 LNCS, Springer-Verlag, Berlin, pp. 1-21, 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013, Shanghai, China, 4/09/13.

Stochastic pi-calculus revisited. / Cardelli, Luca; Mardare, Radu.

Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings. ed. / Zhiming Liu; Jim Woodcock; Zhu Huibiao. Berlin : Springer-Verlag, 2013. p. 1-21 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8049 LNCS).

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

TY - GEN

T1 - Stochastic pi-calculus revisited

AU - Cardelli, Luca

AU - Mardare, Radu

PY - 2013/7/15

Y1 - 2013/7/15

N2 - 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.

AB - 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.

KW - stochastic Pi-calculus

KW - semantics

KW - measure theory

KW - structural congruence

UR - http://www.scopus.com/inward/record.url?scp=84885002592&partnerID=8YFLogxK

UR - https://www.springer.com/gb/book/9783642397172

M3 - Conference contribution book

AN - SCOPUS:84885002592

SN - 9783642397172

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 21

BT - Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings

A2 - Liu, Zhiming

A2 - Woodcock, Jim

A2 - Huibiao, Zhu

PB - Springer-Verlag

CY - Berlin

ER -

Cardelli L, Mardare R. Stochastic pi-calculus revisited. In Liu Z, Woodcock J, Huibiao Z, editors, Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings. Berlin: Springer-Verlag. 2013. p. 1-21. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).