Mokdad Arous, Djamel-Eddine Saidouni and Jean-Michel Ilié (2011) Maximality Semantics based Stochastic Process Algebra for Performance Evaluation. 1st IEEE International Conference on Communications, Computing and Control Applications (CCCA’11) March 3-5, 2011 , Hammamet, Tunisia.
Scientific Publications
Important: This page is frozen. New documents are now available in the digital repository DSpace
Abstract
We introduce a true concurrency stochastic process algebra called S-LOTOS, such that stochastic durations of actions relate to general distributions. A structural operational semantics is defined so that the underlying model called MSLTS, extends the Maximality-based Labeled Transition Systems. S-LOTOS is also viewed as a high level representation to specify Generalized Semi-Markov Processes (GSMP) in order to evaluate the system performances.
Information
| Item Type | Conference |
|---|---|
| Divisions | |
| ePrint ID | 167 |
| Date Deposited | 2014-12-08 |
| Further Information | Google Scholar |
| URI | https://univ-soukahras.dz/en/publication/article/167 |
BibTex
@inproceedings{uniusa167,
title={Maximality Semantics based Stochastic Process Algebra for Performance Evaluation},
author={Mokdad Arous, Djamel-Eddine Saidouni and Jean-Michel Ilié},
year={2011},
booktitle={1st IEEE International Conference on Communications, Computing and Control Applications (CCCA’11) March 3-5, 2011}
}
title={Maximality Semantics based Stochastic Process Algebra for Performance Evaluation},
author={Mokdad Arous, Djamel-Eddine Saidouni and Jean-Michel Ilié},
year={2011},
booktitle={1st IEEE International Conference on Communications, Computing and Control Applications (CCCA’11) March 3-5, 2011}
}