scientific article; zbMATH DE number 4052975

MaRDI QIDQ3789040zbMATH OpenFDO

Authors Roger Hale, Ben Moszkowski

Publication date 1987

zbMATH Keywords

interval temporal logicslogic programmingparallel computationsparallel programmingprogramming language TEMPERAL

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic in computer science (03B70) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4076583
• scientific article; zbMATH DE number 4119670
• scientific article; zbMATH DE number 47403
• Temporal logic programming
• scientific article; zbMATH DE number 4082943

Cited in

(10)

• A temporal programming model with atomic blocks based on projection temporal logic
• MetateM: An introduction
• Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995
• A Temporal Logic for Multi-threaded Programs
• scientific article; zbMATH DE number 7445165 (Why is no real title available?)
• Logic programming for real-time control of telecommunication switching systems
• scientific article; zbMATH DE number 4070871 (Why is no real title available?)
• scientific article; zbMATH DE number 1536572 (Why is no real title available?)
• scientific article; zbMATH DE number 1751887 (Why is no real title available?)
• scientific article; zbMATH DE number 2090570 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789040)