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

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › 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.

Originalsprog	Engelsk
Tidsskrift	Electronic Proceedings in Theoretical Computer Science
Vol/bind	57
Sider (fra-til)	74-88
Antal sider	15
ISSN	2075-2180
DOI	https://doi.org/10.4204/EPTCS.57.6
Status	Udgivet - 6 jul. 2011
Begivenhed	Ninth Workshop on Quantitative Aspects of Programming Languages - Saarbrücken, Tyskland Varighed: 1 apr. 2011 → 3 apr. 2011 Konferencens nummer: 9th http://www.dcs.gla.ac.uk/qapl11/

Workshop

Workshop	Ninth Workshop on Quantitative Aspects of Programming Languages
Nummer	9th
Land/Område	Tyskland
By	Saarbrücken
Periode	01/04/2011 → 03/04/2011
Sponsor	Danish Center of Excellence on Modelling Information Technology
Internetadresse	http://www.dcs.gla.ac.uk/qapl11/

Emneord

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

Adgang til dokumentet

10.4204/EPTCS.57.6

A Stochastic Broadcast Pi-calculusForlagets udgivne 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
Projekter: Projekt › Forskning

Citationsformater

@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

Emneord

Adgang til dokumentet

Fingeraftryk

Projekter

MT-Lab - Modelling of Information Technology

Citationsformater