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://www.univ-soukahras.dz/en/publication/article/167

BibTex