Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions

TitleTutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions
Publication TypeConference Paper
Year of Publication2004
AuthorsBravetti, M, D'Argenio, PR
Conference NameValidation of Stochastic Systems - A Guide to Current Research
PublisherSpringer
ISBN Number3-540-22265-0
AbstractWe report on the state of the art in the formal specification and analysis of concurrent systems whose activity duration depends on general probability distributions. First of all the basic notions and results introduced in the literature are explained and, on this basis, a conceptual classification of the different approaches is presented. We observe that most of the approaches agree on the fact that the specification of systems with general distributions has a three level structure: the process algebra level, the level of symbolic semantics and the level of concrete semantics. Based on such observations, a new very expressive model is introduced for representing timed systems with general distributions. We show that many of the approaches in the literature can be mapped into this model establishing therefore a formal framework to compare these approaches.
DOI10.1007/978-3-540-24611-4_2
PDF (Full text): 
Powered by Drupal