Results 141 to 150 of about 276,000 (165)

Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA

DYADEM-FTS@EDCC, 2010
M. Günther, Johann Schuster, Markus Siegle   +2 more
semanticscholar   +1 more source

Stochastic Process Algebra Model of Amyloidogenic Processing in Alzheimer’s Disease

Studies in Systems, Decision and Control, 2021
Angelyn Lao, Eduardo R Mendoza
exaly  

Stochastic Process Algebras

1995
N. Götz, H. Hermanns, U. Herzog, V. Mertsiotakis, M. Rettelbach   +4 more
openaire   +1 more source

Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties –

Lecture Notes in Computer Science, 2022
Siegle Markus
exaly  

Implementing a Stochastic Process Algebra within the Möbius Modeling Framework

Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2001
G. Clark, W. Sanders
semanticscholar   +1 more source

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

Conference on Current Trends in Theory and Practice of Informatics, 2009
Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle   +3 more
semanticscholar   +1 more source

Stochastic Process Algebra for Discrete Event Simulation

, 1995
P. Harrison, B. Strulo
semanticscholar   +1 more source

Semi-numerical Solution of Stochastic Process Algebra Models

Arts, 1999
H. Bohnenkamp, B. Haverkort
semanticscholar   +1 more source

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment

International Conference on Advances in System Simulation, 2004
P. Lecca, C. Priami, P. Quaglia, Barbara Rossi, C. Laudanna, G. Constantin   +5 more
semanticscholar   +1 more source

A Stochastic Process Algebra Based Modelling Tool

, 1996
H. Hermanns, V. Mertsiotakis
semanticscholar   +1 more source