Stutter-invariant temporal properties are expressible without the next-time operator

Doron Peled; Thomas Wilke

doi:10.1016/s0020-0190(97)00133-6

Stutter-invariant temporal properties are expressible without the next-time operator

Doron Peled, Thomas Wilke

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

110 Scopus citations

Abstract

We show that every stutter-invariant prepositional linear temporal property is expressible without the next-time operator.

Original language	English
Pages (from-to)	243-246
Number of pages	4
Journal	Information Processing Letters
Volume	63
Issue number	5
DOIs	https://doi.org/10.1016/s0020-0190(97)00133-6
State	Published - 15 Sep 1997
Externally published	Yes

Keywords

Next operator
Specification languages
Stutter invariance
Temporal logic

Access to Document

10.1016/s0020-0190(97)00133-6

Cite this

@article{30e9e0936d41423aa73f40ef7084cb91,

title = "Stutter-invariant temporal properties are expressible without the next-time operator",

abstract = "We show that every stutter-invariant prepositional linear temporal property is expressible without the next-time operator.",

keywords = "Next operator, Specification languages, Stutter invariance, Temporal logic",

author = "Doron Peled and Thomas Wilke",

year = "1997",

month = sep,

day = "15",

doi = "10.1016/s0020-0190(97)00133-6",

language = "אנגלית",

volume = "63",

pages = "243--246",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

T1 - Stutter-invariant temporal properties are expressible without the next-time operator

AU - Peled, Doron

AU - Wilke, Thomas

PY - 1997/9/15

Y1 - 1997/9/15

N2 - We show that every stutter-invariant prepositional linear temporal property is expressible without the next-time operator.

AB - We show that every stutter-invariant prepositional linear temporal property is expressible without the next-time operator.

KW - Next operator

KW - Specification languages

KW - Stutter invariance

KW - Temporal logic

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

U2 - 10.1016/s0020-0190(97)00133-6

DO - 10.1016/s0020-0190(97)00133-6

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0031221255

SN - 0020-0190

VL - 63

SP - 243

EP - 246

JO - Information Processing Letters

JF - Information Processing Letters

IS - 5

ER -

Stutter-invariant temporal properties are expressible without the next-time operator

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this