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
Recommendations
- Algebra of Generalized Stochastic Processes and the Stochastic Dirichlet Problem
- Generalized stochastic processes in algebras of generalized functions
- scientific article; zbMATH DE number 892056
- scientific article
- Probabilistic properties of generalized stochastic processes in algebras of generalized functions
- Stochastic process algebras
- scientific article; zbMATH DE number 836614
- Generalized stochastic processes in algebras of generalized functions: independence, stationarity and SPDEs
- scientific article; zbMATH DE number 2073559
- Generalized Grassmann algebras and applications to stochastic processes
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 (13)
- A theory of stochastic systems. II: Process algebra
- Reduction semantics in Markovian process algebra
- Title not available (Why is that?)
- 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
- Formal Methods for the Design of Real-Time Systems
- 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?)
- Title not available (Why is that?)
- Algebraic Structures and Applications
Uses Software
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)
