Results 151 to 160 of about 276,000 (165)

Stochastic Process Algebra with Value-Passing and Weak Time Restrictions

Journal of Software, 2011
Guang Zheng, Jinzhao Wu, A. Lu
semanticscholar   +1 more source

A novel formal analysis method of network survivability based on stochastic process algebra

Tsinghua Science and Technology, 2007
Guosheng Zhao
exaly  

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997
H. Hermanns, U. Herzog, V. Mertsiotakis, M. Rettelbach   +3 more
semanticscholar   +1 more source

Using stochastic process algebra models to estimate the quality of information in military sensor networks

SPIE Defense + Commercial Sensing, 2008
D. Thornley, C. Bisdikian, D. Gillies
semanticscholar   +1 more source

STOPA: a stochastic process algebra for the formal representation of cognitive systems

Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004., 2004
Natalia López, Manuel Núñez, F. Pelayo   +2 more
semanticscholar   +1 more source

Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra

ECMDA-FA, 2005
Naoshi Tabuchi, N. Sato, Hiroaki Nakamura   +2 more
semanticscholar   +1 more source

Stochastic Process Algebras

1998
J. Hillston, RIBAUDO, MARINA
openaire   +1 more source

A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science, 2010
Jeremy Moss Bradley
exaly  

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

2008
E P De Vink
exaly  

Comparing dtsdPBC with other stochastic process algebras

International Journal of Parallel, Emergent and Distributed Systems
openaire   +1 more source