A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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