From liveness to promptness

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 15

Record: found
Abstract: not found
Conference Proceedings: not found

The temporal logic of programs

Amir Pnueli (1977)

0 comments Cited 397 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli (1992)

0 comments Cited 163 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

On the synthesis of a reactive module

R Rosner, A. Pnueli (1989)

0 comments Cited 145 times – based on 0 reviews

Bookmark

All references

Author and article information

Journal

Title: Formal Methods in System Design

Abbreviated Title: Form Methods Syst Des

Publisher: Springer Nature America, Inc

ISSN (Print): 0925-9856

ISSN (Electronic): 1572-8102

Publication date Created: April 2009

Publication date (Electronic): January 28 2009

Publication date (Print): April 2009

Volume: 34

Issue: 2

Pages: 83-103

Article

DOI: 10.1007/s10703-009-0067-z

SO-VID: 7d76a857-9871-4f81-b2a6-8cb709241731

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.