Mokdad Arous, Jean-Michel Ilié and Djamel-Eddine Saidouni (2012) Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems. 2nd International Conference on Computer and Software Modeling - ICCSM 2012 , Cochin, India
Scientific Publications
Important: This page is frozen. New documents are now available in the digital repository DSpace
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://univ-soukahras.dz/en/publication/article/166 |
BibTex
@inproceedings{uniusa166,
title={Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems},
author={Mokdad Arous, Jean-Michel Ilié and Djamel-Eddine Saidouni},
year={2012},
booktitle={2nd International Conference on Computer and Software Modeling - ICCSM 2012}
}
title={Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems},
author={Mokdad Arous, Jean-Michel Ilié and Djamel-Eddine Saidouni},
year={2012},
booktitle={2nd International Conference on Computer and Software Modeling - ICCSM 2012}
}