Monte Carlo Methods for Process Algebra

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

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)

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 (2)

• Title not available (Why is that?)
• Probabilistic-algebraic algorithms of Monte Carlo methods

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)