Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ENTCS
2006

favoriteEmaildiscussreport

105views more ENTCS 2006»

Monte Carlo Methods for Process Algebra

13 years 5 months ago

Monte Carlo Methods for Process Algebra

Download www.cs.sunysb.edu

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

Real-time Traffic

ENTCS 2006 | Implementation Problem | Monte Carlo | Monte Carlo Model |

claim paper

Related Content

» Parallel Monte Carlo Algorithms for Sparse SLAE Using MPI

» Monte Carlo methods for matrix computations on the grid

» Solving Systems of Linear Algebraic Equations Using Quasirandom Numbers

» Sequential Monte Carlo method for parameter estimation in diffusion models of affinitybase...

» Monte Carlo Bayesian Signal Processing for Wireless Communications

» Monte Carlo methods in the physical sciences

» Blind Monte Carlo detectionestimation method for optical coherence tomography

» Modeling Sub90nm OnChip Variation Using Monte Carlo Method for DFM

» MonteCarloType Techniques for Processing Interval Uncertainty and Their Potential Engineer...

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Radu Grosu, Scott A. Smolka

Comments (0)