### 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 language | English |
---|---|

Title of host publication | Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings |

Editors | Zhiming Liu, Jim Woodcock, Zhu Huibiao |

Place of Publication | Berlin |

Publisher | Springer-Verlag |

Chapter | 1 |

Pages | 1-21 |

Number of pages | 21 |

ISBN (Print) | 9783642397172 |

Publication status | Published - 15 Jul 2013 |

Event | 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 - Shanghai, China Duration: 4 Sep 2013 → 6 Sep 2013 |

### Publication series

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

Volume | 8049 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 |
---|---|

Country | China |

City | Shanghai |

Period | 4/09/13 → 6/09/13 |

### Fingerprint

### Keywords

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

### Cite this

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

}

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

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 -