Sciweavers

Share
ENTCS
2006

Monte Carlo Methods for Process Algebra

8 years 9 months ago
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.
Radu Grosu, Scott A. Smolka
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Radu Grosu, Scott A. Smolka
Comments (0)
books