Monte Carlo Methods for Process Algebra | Zendy

Radu Grosu | Zendy; Scott A. Smolka | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Monte Carlo Methods for Process Algebra

Author(s) -

Radu Grosu,

Scott A. Smolka

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.04.033

Subject(s) - monte carlo method , bisimulation , process calculus , computer science , process (computing) , monte carlo method in statistical physics , algebra over a field , quasi monte carlo method , hybrid monte carlo , monte carlo molecular modeling , theoretical computer science , mathematics , markov chain monte carlo , programming language , pure mathematics , statistics

We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open problems in applying Monte Carlo techniques to other process-algebraic problems, such as simulation and bisimulation

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research