Validation of Stochastic Systems
DOI10.1007/B98484zbMATH Open1203.68113OpenAlexW657718082MaRDI QIDQ5325834FDOQ5325834
Authors: 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; zbMATH DE number 746907
- 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 (14)
- Stochastic model checking of the stochastic quality calculus
- A theory of stochastic systems. II: Process algebra
- A theory for the semantics of stochastic and non-deterministic continuous systems
- Reduction semantics in Markovian process algebra
- Title not available (Why is that?)
- 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
- Calculating Probabilities of Real-Time Test Cases
- An integrated approach for the specification and analysis of stochastic real-time systems
- 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)
