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.