1 Hit in 6.4 sec

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

Mario Bravetti, Pedro R. D'Argenio
2004 Lecture Notes in Computer Science  
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  ...  We report on the state of the art in the formal specification and analysis of concurrent systems whose activity duration depends on general probability distributions.  ...  Moreover, we thank the organisers of the VOSS event to bring us two together on writing this article, specially Holger Hermanns who has been very helpful on suggestions and mediations.  ... 
doi:10.1007/978-3-540-24611-4_2 fatcat:dgevthrezrfepgvk3rhdhmlcyi