Monte Carlo methods for process algebra

DOI10.1016/J.ENTCS.2006.04.033zbMATH Open1316.68075OpenAlexW2112671476MaRDI QIDQ5262967FDOQ5262967

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

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

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)

Cites Work

• Verification, Model Checking, and Abstract Interpretation
• Forward and backward simulations. I. Untimed Systems
• Title not available (Why is that?)
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification

Cited In (3)

• Title not available (Why is that?)
• Probabilistic-algebraic algorithms of Monte Carlo methods
• A Poisson process model for Monte Carlo

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)