Abstract

A new Stochastic Process Algebra called S-LOTOS is investigated, it extends LOTOS in order to specify the durations of actions in terms of generally distributed functions. We present its operational semantics and its underlying semantic model, called Maximality-based Labeled Stochastic Transition System (MLSTS). With regards to performance properties, we show that MLSTS and ST-semantics (Start-Termination) based models are equivalent, but the former brings more compact structure.

Information

Item Type:	Conference
Divisions:
ePrint ID:	166
Date Deposited:	2014-12-08
Further Information:	Google Scholar
URI:	https://www.univ-soukahras.dz/en/publication/article/166

BibTex