journal article
oaidoi:10.1016/j.tcs.2006.06.020

Invariance under stuttering in a temporal logic of actions

Authors
Publication date
5 December 2006
Publisher
Elsevier B.V.
Doi

    Abstract

    AbstractWe show that some simple and useful stutter-invariant properties definable in the language of Lamport's Simple Temporal Logic of Actions (STLA) are not definable in STLA and present a natural extension of STLA that allows one to express all stutter-invariant properties definable in the language of STLA

    Similar works

    Full text

    thumbnail-image

    Elsevier - Publisher Connector

    redirect
    oaidoi:10.1016/j.tcs.2006.06.020
    Last time updated on 06/05/2017

    This paper was published in Elsevier - Publisher Connector .

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.