Results 161 to 165 of about 276,000 (165)

Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation

ACM Transactions on Modeling and Computer Simulation
Markus Siegle
exaly  

Stochastic Extension for Real Time Process Algebra with Urgency Executing Policy

2009
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