| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422953 | Electronic Notes in Theoretical Computer Science | 2006 | 5 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
