Temporal logics and their applications
By: edited by Antony Galton.
Contributors: Galton, Antony.
Publisher: Academic Press
Published: 1987
Place of publication: London; San Diego
Language: eng
Number of pages: 244
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographies and index.
Three papers are based upon presentations at the Conference on Temporal Logic and its Applications, University of Leeds, January, 1986.
Table of contents: title: Temporal logic and computer science / Antony Galton; title: The use of temporal logic in the compositional specification of concurrent systems / Howard Barringer; title: Temporal logic programming / Roger Hale; title: Three recent approaches to temporal reasoning / Fariba Sadri; title: The logic of occurrence / Antony Galton; title: Modal and temporal logic programming / Dov Gabbav.