Monte Carlo methods for process algebra

DOI10.1016/J.ENTCS.2006.04.033MaRDI QIDQ5262967zbMATH OpenOpenAlexFDO

Authors Radu Grosu, Scott A. Smolka

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.04.033

zbMATH Keywords

simulationbisimulationI/O automataMonte Carlo model checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Process algebra and model checking
• Stochastic model checking
• scientific article; zbMATH DE number 2079828
• scientific article; zbMATH DE number 910719

Cites work

• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• Computer Aided Verification
• Computer Aided Verification
• Forward and backward simulations. I. Untimed Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(3)

• scientific article; zbMATH DE number 836615 (Why is no real title available?)
• Probabilistic-algebraic algorithms of Monte Carlo methods
• A Poisson process model for Monte Carlo

Describes a project that uses

Uses Software

• APMC

This page was built for publication: Monte Carlo methods for process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262967)