An interval logic for higher-level temporal reasoning | Zendy

Richard L. Schwartz | Zendy; P. M. MelliarSmith | Zendy; Friedrich H. Vogt | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An interval logic for higher-level temporal reasoning

Author(s) -

Richard L. Schwartz,

P. M. MelliarSmith,

Friedrich H. Vogt

Publication year - 1983

Publication title -

nasa sti repository (national aeronautics and space administration)

Language(s) - English

Resource type - Conference proceedings

ISBN - 0-89791-110-5

DOI - 10.1145/800221.806720

Subject(s) - interval temporal logic , temporal logic , computer science , linear temporal logic , temporal logic of actions , interval (graph theory) , computation tree logic , theoretical computer science , programming language , mathematics , combinatorics

During the last several years, we have explored temporal logic as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols. Previous papers[Schwartz/Melliar-Smith81, 82, Vogt82a,b] report on our efforts using temporal reasoning primitives to express very high-level abstract requirements that a program or system is to satisfy. Based on our experiences with those primitives, we have developed an interval logic more suitable for expressing higher-level temporal properties.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research