326 search results - page 2 / 66 » Embedding Real Time in Stochastic Process Algebras |
ISORC
2005
IEEE
13 years 11 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
LICS
2005
IEEE
13 years 11 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
EEF
2000
13 years 9 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
EPEW
2008
Springer
13 years 7 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
ICALP
2000
Springer
13 years 9 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...