Eliminating disjunctions of leads-to properties

Ken Calvert

doi:10.1016/0020-0190(94)90010-8

Eliminating disjunctions of leads-to properties

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

Original language	English
Pages (from-to)	189-194
Number of pages	6
Journal	Information Processing Letters
Volume	49
Issue number	4
DOIs	https://doi.org/10.1016/0020-0190(94)90010-8
State	Published - Feb 25 1994

Keywords

Concurrency
Formal semantics
Specification languages
Temporal logic
UNITY

ASJC Scopus subject areas

Theoretical Computer Science
Signal Processing
Information Systems
Computer Science Applications

Access to Document

10.1016/0020-0190(94)90010-8

Cite this

@article{bb7b12870c2a4c97bab00161596ce76f,

title = "Eliminating disjunctions of leads-to properties",

keywords = "Concurrency, Formal semantics, Specification languages, Temporal logic, UNITY",

author = "Ken Calvert",

year = "1994",

month = feb,

day = "25",

doi = "10.1016/0020-0190(94)90010-8",

language = "English",

volume = "49",

pages = "189--194",

number = "4",

}

TY - JOUR

T1 - Eliminating disjunctions of leads-to properties

AU - Calvert, Ken

PY - 1994/2/25

Y1 - 1994/2/25

KW - Concurrency

KW - Formal semantics

KW - Specification languages

KW - Temporal logic

KW - UNITY

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

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

U2 - 10.1016/0020-0190(94)90010-8

DO - 10.1016/0020-0190(94)90010-8

M3 - Article

AN - SCOPUS:0028378890

SN - 0020-0190

VL - 49

SP - 189

EP - 194

JO - Information Processing Letters

JF - Information Processing Letters

IS - 4

ER -

Eliminating disjunctions of leads-to properties

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this