Monte Carlo Methods for Process Algebra

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.

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Radu Grosu, Scott A. Smolka
• Keywords: ENTCS 2006, Implementation Problem, Monte Carlo, Monte Carlo Model