A Stochastic Broadcast Pi-Calculus

Lei Song; Flemming Nielson; Bo Friis Nielsen

doi:10.4204/EPTCS.57.6

A Stochastic Broadcast Pi-Calculus

Lei Song, Flemming Nielson, Bo Friis Nielsen

Technical University of Denmark

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Abstract

In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	57
Pages (from-to)	74-88
Number of pages	15
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.57.6
Publication status	Published - 6 Jul 2011
Event	Ninth Workshop on Quantitative Aspects of Programming Languages - Saarbrücken, Germany Duration: 1 Apr 2011 → 3 Apr 2011 Conference number: 9th http://www.dcs.gla.ac.uk/qapl11/

Workshop

Workshop	Ninth Workshop on Quantitative Aspects of Programming Languages
Number	9th
Country/Territory	Germany
City	Saarbrücken
Period	01/04/2011 → 03/04/2011
Sponsor	Danish Center of Excellence on Modelling Information Technology
Internet address	http://www.dcs.gla.ac.uk/qapl11/

Keywords

Stochastic Broadcast PI-calculus
Server-client Systems
Immediate Transitions
Non-determinism Resolution
Continuous-Time Markov Chain (CTMC)

Access to Document

10.4204/EPTCS.57.6

A Stochastic Broadcast Pi-calculusFinal published version, 149 KB

http://arxiv.org/abs/1107.1202v1

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research

Cite this

@inproceedings{a285e7342e5c46e0bd525b976e4ff5d2,

title = "A Stochastic Broadcast Pi-Calculus",

abstract = "In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.",

keywords = "Stochastic Broadcast PI-calculus, Server-client Systems, Immediate Transitions, Non-determinism Resolution, Continuous-Time Markov Chain (CTMC), Stochastic Broadcast PI-calculus, Server-client Systems, Immediate Transitions, Non-determinism Resolution, Continuous-Time Markov Chain (CTMC)",

author = "Lei Song and Flemming Nielson and Nielsen, {Bo Friis}",

year = "2011",

month = jul,

day = "6",

doi = "10.4204/EPTCS.57.6",

language = "English",

volume = "57",

pages = "74--88",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011 ; Conference date: 01-04-2011 Through 03-04-2011",

url = "http://www.dcs.gla.ac.uk/qapl11/",

}

TY - GEN

T1 - A Stochastic Broadcast Pi-Calculus

AU - Song, Lei

AU - Nielson, Flemming

AU - Nielsen, Bo Friis

N1 - Conference code: 9th

PY - 2011/7/6

Y1 - 2011/7/6

N2 - In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.

AB - In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.

KW - Stochastic Broadcast PI-calculus

KW - Server-client Systems

KW - Immediate Transitions

KW - Non-determinism Resolution

KW - Continuous-Time Markov Chain (CTMC)

KW - Stochastic Broadcast PI-calculus

KW - Server-client Systems

KW - Immediate Transitions

KW - Non-determinism Resolution

KW - Continuous-Time Markov Chain (CTMC)

U2 - 10.4204/EPTCS.57.6

DO - 10.4204/EPTCS.57.6

M3 - Conference article

SN - 2075-2180

VL - 57

SP - 74

EP - 88

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

T2 - Ninth Workshop on Quantitative Aspects of Programming Languages

Y2 - 1 April 2011 through 3 April 2011

ER -

A Stochastic Broadcast Pi-Calculus

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Projects

MT-Lab - Modelling of Information Technology

Cite this