Real-time process algebra with stochastic delays

J. Markovski; E.P. Vink, de

doi:10.1109/ACSD.2007.61

Real-time process algebra with stochastic delays

J. Markovski, E.P. Vink, de

Formal System Analysis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

4 Citaten (Scopus)

1 Downloads (Pure)

Samenvatting

A real-time process algebra is presented that features stochastic delays governed by general distributions. In a setting of weak choice, dependent and independent alternative and parallel composition are distinguished. This enables an expansion law for the parallel operator, as well as modular process definitions. The interplay of real-time, stochastic delays and immediate actions is illustrated by a modeling of the G/G/1/infin queue.

Originele taal-2	Engels
Titel	Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic
Plaats van productie	Piscataway NJ
Uitgeverij	Institute of Electrical and Electronics Engineers
Pagina's	177-186
ISBN van geprinte versie	978-0-7695-2902-8
DOI's	https://doi.org/10.1109/ACSD.2007.61
Status	Gepubliceerd - 2007
Evenement	7th International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakije Duur: 10 jul. 2007 → 13 jul. 2007 Congresnummer: 7

Congres

Congres	7th International Conference on Application of Concurrency to System Design (ACSD 2007)
Verkorte titel	ACSD 2007
Land/Regio	Slovakije
Stad	Bratislava
Periode	10/07/07 → 13/07/07
Ander	ACSD 2007, Bratislava, Slovak Republic

Toegang tot document

10.1109/ACSD.2007.61

Citeer dit

@inproceedings{9ee809ed382f413abba2e6436284d71f,

title = "Real-time process algebra with stochastic delays",

abstract = "A real-time process algebra is presented that features stochastic delays governed by general distributions. In a setting of weak choice, dependent and independent alternative and parallel composition are distinguished. This enables an expansion law for the parallel operator, as well as modular process definitions. The interplay of real-time, stochastic delays and immediate actions is illustrated by a modeling of the G/G/1/infin queue.",

author = "J. Markovski and {Vink, de}, E.P.",

year = "2007",

doi = "10.1109/ACSD.2007.61",

language = "English",

isbn = "978-0-7695-2902-8",

pages = "177--186",

booktitle = "Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "7th International Conference on Application of Concurrency to System Design (ACSD 2007), ACSD 2007 ; Conference date: 10-07-2007 Through 13-07-2007",

}

Markovski, J & Vink, de, EP 2007, Real-time process algebra with stochastic delays. in Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic. Institute of Electrical and Electronics Engineers, Piscataway NJ, blz. 177-186, 7th International Conference on Application of Concurrency to System Design (ACSD 2007), Bratislava, Slovakije, 10/07/07. https://doi.org/10.1109/ACSD.2007.61

Real-time process algebra with stochastic delays. / Markovski, J.; Vink, de, E.P.
Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic. Piscataway NJ: Institute of Electrical and Electronics Engineers, 2007. blz. 177-186.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Real-time process algebra with stochastic delays

AU - Markovski, J.

AU - Vink, de, E.P.

N1 - Conference code: 7

PY - 2007

Y1 - 2007

N2 - A real-time process algebra is presented that features stochastic delays governed by general distributions. In a setting of weak choice, dependent and independent alternative and parallel composition are distinguished. This enables an expansion law for the parallel operator, as well as modular process definitions. The interplay of real-time, stochastic delays and immediate actions is illustrated by a modeling of the G/G/1/infin queue.

AB - A real-time process algebra is presented that features stochastic delays governed by general distributions. In a setting of weak choice, dependent and independent alternative and parallel composition are distinguished. This enables an expansion law for the parallel operator, as well as modular process definitions. The interplay of real-time, stochastic delays and immediate actions is illustrated by a modeling of the G/G/1/infin queue.

U2 - 10.1109/ACSD.2007.61

DO - 10.1109/ACSD.2007.61

M3 - Conference contribution

SN - 978-0-7695-2902-8

SP - 177

EP - 186

BT - Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway NJ

T2 - 7th International Conference on Application of Concurrency to System Design (ACSD 2007)

Y2 - 10 July 2007 through 13 July 2007

ER -

Real-time process algebra with stochastic delays

Samenvatting

Congres

Toegang tot document

Vingerafdruk

Citeer dit