Monte Carlo Methods for Process Algebra

Radu Grosu; Scott A. Smolka

doi:10.1016/j.entcs.2006.04.033

Monte Carlo Methods for Process Algebra

Radu Grosu
, Scott A. Smolka

Computer Science

Stony Brook University

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

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.

Original language	English
Pages (from-to)	203-207
Number of pages	5
Journal	Electronic Notes in Theoretical Computer Science
Volume	162
Issue number	1
DOIs	https://doi.org/10.1016/j.entcs.2006.04.033
State	Published - Sep 29 2006

Keywords

bisimulation
I/O automata
Monte Carlo model checking
simulation

Access to Document

10.1016/j.entcs.2006.04.033

Cite this

@article{fd3ab39c264a43f2a051681bd99eb71f,

title = "Monte Carlo Methods for Process Algebra",

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.",

keywords = "bisimulation, I/O automata, Monte Carlo model checking, simulation",

author = "Radu Grosu and Smolka, \{Scott A.\}",

year = "2006",

month = sep,

day = "29",

doi = "10.1016/j.entcs.2006.04.033",

language = "English",

volume = "162",

pages = "203--207",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

number = "1",

}

TY - JOUR

T1 - Monte Carlo Methods for Process Algebra

AU - Grosu, Radu

AU - Smolka, Scott A.

PY - 2006/9/29

Y1 - 2006/9/29

N2 - 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.

AB - 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.

KW - bisimulation

KW - I/O automata

KW - Monte Carlo model checking

KW - simulation

UR - https://www.scopus.com/pages/publications/33748892197

U2 - 10.1016/j.entcs.2006.04.033

DO - 10.1016/j.entcs.2006.04.033

M3 - Article

AN - SCOPUS:33748892197

SN - 1571-0661

VL - 162

SP - 203

EP - 207

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

ER -

Monte Carlo Methods for Process Algebra

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this