pa05

Grosu/Smolka

Monte Carlo Methods for Process Algebra*

R. Grosu and S.A. Smolka

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.

In Proc. of the Int. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy. ENTCS vol. 162, pp. 203-207, September 2006.

*This work was partially supported by the NSF Faculty Early Career Development Award CCR01-33583 and the NSF CSR-AES05-09230 Award.