The Temporal Logic Of Reactive And Concurrent Systems

·1992·DOI

Engineering and Technology

Computational and Interdisciplinary Sciences

Dependable Communication Systems

Temporal Logic and Reasoning

Role in the Field

Neutralin Engineering and Technology

Neutralin Computational and Interdisciplinary Sciences

Neutralin Dependable Communication Systems

Neutralin Temporal Logic and Reasoning

Abstract

Citations

1,488

Year

1992

PageRank

4.6 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Temporal Networks

·2012·2,143 citations

Temporal Construal.

·2003·2,577 citations

Alternating-time Temporal Logic

·2002·814 citations

The Temporal Logic Of Actions

·1994·1,014 citations

Temporal Constraint Networks

·1991·914 citations

Nonmonotonic Reasoning, Preferential Models And Cumulative Logics

·1990·999 citations

Temporal And Modal Logic

·1990·826 citations

Specifying Real-Time Properties With Metric Temporal Logic

·1990·799 citations

Maintaining Knowledge About Temporal Intervals

·1983·4,618 citations

The Temporal Logic Of Programs

·1977·3,082 citations