Decidability of model checking for infinite-state concurrent systems

Javier Esparza

doi:10.1007/s002360050074

Decidability of model checking for infinite-state concurrent systems

Javier Esparza

Informatics 7 - Chair of Theoretical Computer Science

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

103 Scopus citations

Abstract

We study the decidability of the model checking problem for linear and branching time logics, and two models of concurrent computation, namely Petri nets and Basic Parallel Processes.

Original language	English
Pages (from-to)	85-107
Number of pages	23
Journal	Acta Informatica
Volume	34
Issue number	2
DOIs	https://doi.org/10.1007/s002360050074
State	Published - 1997

Access to Document

10.1007/s002360050074

Cite this

@article{662694a7c284408ea45d515753204634,

title = "Decidability of model checking for infinite-state concurrent systems",

abstract = "We study the decidability of the model checking problem for linear and branching time logics, and two models of concurrent computation, namely Petri nets and Basic Parallel Processes.",

author = "Javier Esparza",

year = "1997",

doi = "10.1007/s002360050074",

language = "English",

volume = "34",

pages = "85--107",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer New York",

number = "2",

}

TY - JOUR

T1 - Decidability of model checking for infinite-state concurrent systems

AU - Esparza, Javier

PY - 1997

Y1 - 1997

N2 - We study the decidability of the model checking problem for linear and branching time logics, and two models of concurrent computation, namely Petri nets and Basic Parallel Processes.

AB - We study the decidability of the model checking problem for linear and branching time logics, and two models of concurrent computation, namely Petri nets and Basic Parallel Processes.

UR - http://www.scopus.com/inward/record.url?scp=0031380305&partnerID=8YFLogxK

U2 - 10.1007/s002360050074

DO - 10.1007/s002360050074

M3 - Article

AN - SCOPUS:0031380305

SN - 0001-5903

VL - 34

SP - 85

EP - 107

JO - Acta Informatica

JF - Acta Informatica

IS - 2

ER -

Decidability of model checking for infinite-state concurrent systems

Abstract

Access to Document

Other files and links

Fingerprint

Cite this