Results 151 to 160 of about 11,828,886 (169)

Symbolic semantics and verification of stochastic process algebras.

2006
Im Bereich der Leistungs- und Zuverlässigkeitsanalyse haben sich abstrakte Spezifikationssprachen wie stochastische Prozessalgebren (SPA) oder verallgemeinerte stochastische Petrinetze (engl. generalised stochastic Petri nets, GSPN) als sehr hilfreich erwiesen.
openaire   +3 more sources

Generalized Grassmann Algebras and Applications to Stochastic Processes

Mathematical Methods in the Applied Sciences, 2022
Paula Cerejeiras, Daniel Alpay, Uwe Kaehler   +2 more
exaly  

Stochastic Process Algebras

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

Generalized Stochastic Processes in Algebras of Generalized Functions

Journal of Mathematical Analysis and Applications, 2009
Stevan Pilipović, Dora Selesi
exaly  

Distribution Spaces and a New Construction of Stochastic Processes Associated With the Grassmann Algebra

Journal of Mathematical Physics, 2019
Ismael L Paiva, Daniel Alpay
exaly  

A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra

Tsinghua Science and Technology, 2007
Guosheng Zhao, Huiqiang Wang
exaly  

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment

Simulation, 2004
Paola Quaglia, Gabriela Constantin, Corrado Priami   +2 more
exaly  

Product Form Solution for an Insensitive Stochastic Process Algebra Structure

Performance Evaluation, 2002
J Hillston
exaly  

Stochastic Process Algebras

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

Stochastic Extension for Real Time Process Algebra With Urgency Executing Policy

2009
Guang Zheng
exaly