Validation of Stochastic Systems
DOI10.1007/B98484zbMATH Open1203.68113OpenAlexW657718082MaRDI QIDQ5325834FDOQ5325834
Mario Bravetti, P. R. D'Argenio
Publication date: 24 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98484
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (10)
- A theory of stochastic systems. II: Process algebra
- Reduction semantics in Markovian process algebra
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
- Extending Timed Process Algebra with Discrete Stochastic Time
- A theory of stochastic systems. I: Stochastic automata
- Stochastic Model Checking of the Stochastic Quality Calculus
- Calculating Probabilities of Real-Time Test Cases
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- Title not available (Why is that?)
- Algebraic Structures and Applications
Uses Software
Recommendations
- Stochastic Process Algebras 👍 👎
- Generalized stochastic processes in algebras of generalized functions 👍 👎
- Probabilistic properties of generalized stochastic processes in algebras of generalized functions 👍 👎
- Algebra of Generalized Stochastic Processes and the Stochastic Dirichlet Problem 👍 👎
- Generalized Grassmann algebras and applications to stochastic processes 👍 👎
- Generalized stochastic processes in algebras of generalized functions: independence, stationarity and SPDEs 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Validation of Stochastic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325834)
