Results 271 to 278 of about 4,616 (278)

Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation

ACM Transactions on Modeling and Computer Simulation
Markus Siegle
exaly  

Comparing dtsdPBC with other stochastic process algebras

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

Stochastic Extension for Real Time Process Algebra with Urgency Executing Policy

2009
exaly  

Maximality semantics based stochastic process algebra for performance evaluation

2011
exaly  

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

2008
exaly  

Mapping Coloured Stochastic Petrinets to stochastic process algebras

2003
BRODO, Linda, S. GILMORE, J. HILLSTON, AND C. P.R.I.A.M.I. MAPPING COLOURED STOCHASTIC PETRINETS TO STOCHASTIC PROCESS ALGEBRAS   +3 more
openaire   +1 more source

Symbolic Minimisation of Stochastic Process Algebra

1999
Hermanns, H., Siegle, M.
openaire   +1 more source

A Process Algebra for Stochastic Music Composition.

openaire   +1 more source