Analysis of Systems with Stochastic Process Creation
Abstract elided by the publisher.
Related papers
- On Probabilistic Parallel Programs with Process Creation and Synchronisation TACAS 2011
- A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP TACAS 1996
- First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders TACAS 2001
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation VMCAI 2011
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- \mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes TACAS 2019
- Stochastic Processes as Concurrent Constraint Programs POPL 1999
- A domain-specific language for exploratory data visualization GPCE 2018