Product Description
Mathematics textbook specifically geared towards the topics most important to computer science, featuring theorems and proofs, as well as sound logic. Topics covered include propositional calculus, predicate calculus, resolution, hoare logic, and temporal logic. Also features a companion Website. Softcover. DLC: Logic, Symbolic and mathematical. ... Read more

Product Description
Presents volume two of temporal logic monograph.Covers more or less the material promised in the tentative table of contents given in volume one.Progresses in the direction of temporal databases, temporal execution and programming, actions and planning. ... Read more

Product Description

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.

All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

Product Description
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively. ... Read more

Customer Reviews (1)

A Good Introduction, But ...
This book provides a very good introduction to concurrent systems and specifications.However, new or used it's certainly not worth 100$ or more.As a used book I wouldn't pay any more than 25$ for it. ... Read more

Product Description
The dramatic increase in research in recent years shows that logic is now widely recognized as one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence.The Handbook of Logic in Artificial Intelligence and Logic Programming was created in response to the growing need for an in-depth survey of these applications, and as a result is a unique and invaluable reference source.The Handbook comprises five volumes, each an in-depth overview of one of the major topics in this area.It is the result of years of cooperative effort by internationally renowned researchers in the field, and will no doubt be the standard reference work in AI for years to come.Volume IV covers, among other subjects, epistemic reasoning, time and change for AI, and temporal nonmonotonic reasoning. ... Read more

Product Description
This monograph is concerned with the application of temporallogic to the areas of message passing and time-criticalsystems. Apart from the practicaluse of temporal logic forthese two application domains, the book alsoincorporatespure fundamental studies on temporal logic.The motivation to study message passing and time criticalsystems stems from their importance in practice. Messagepassing is one of the most important meansof interprocesscommunication in distributed systems, either on a highlevel, as in telecommunications applications, or on a lowerlevel, as in implementations of languages like Ada. As fortime-critical systems,among the growing number of real-timeapplications there are some highlycritical systems such ascomputer controlled chemical plants and nuclearpowerstations.The monograph shows how standard temporal logic can beusedfor the specification of message passing systems, anddevelops a special temporal logic for reasoning aboutquantitative temporal properties.The main application areais that of distributed real-time systems. ... Read more

Product Description
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. ... Read more

Customer Reviews (1)

how to verify parallel code
Sadly, the experience of reading the book is severely marred by the low quality of the printing. The text does not appear crisply. Instead, it is fuzzy. Detracting from the underlying messages.

The topic itself may be of some interest to those working on parallel computing. With code customised for a given parallel architecture, a key question is how to verify it? Hailpern offers some ideas grounded in temporal logic. Not every architecture being used today might qualify. But the payoff is automated verification that is absolute in a mathematical sense. Perhaps worth your while spending some time investigating his ideas? ... Read more

Product Description
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming. This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented. ... Read more

Product Description
FROM THE PREFACE: This book has risen from a conference on Temporal Logic and Its Applications held at the University of Leeds in January 1986, under the auspices of the then newly-created Centre for Theoretical Computer Science. Temporal logic is a field which, having originated within philosophy, has now proved to be of relevance to several distinct areas in computer science. In this publication, all of the aspects of temporal logic are treated together, hopefully providing a stimulus to further inter-disciplinary collaboration, not only as regards temporal logic itself but also in connection with other logical and philosophical issues, which lie at the interface between computing and philosophy. ... Read more

Product Description
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic, Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and other dynamic systems. Since every Tempura statement is also a temporal formula, the entire temporal logic formalism can be used as the assertion language and semantics. One result is that Tempura has the two seemingly contradictory properties of being a logic programming language and having imperative constructs such as assignment statements. The presentation investigates Interval Temporal Logic, a formalism with conventional temporal operators such as next and always as well as lesser known ones such as chop. This provides the basis for Tempura. The design of an interpreter for Tempura is also included, as are a variety of sample Tempura programs illustrating how to model both hardware and software. ... Read more

Product Description
Introduction to the temporal logic of - in particular paral-lel - programs.Divided into three main parts: - Presenta-tion of the pure temporal logic: language, semantics, andproof theory; - Representation of programs and their proper-ties within the language of temporal logic; - Application ofthe logical apparatus to the verification of program proper-tiesincluding a new embedding of Hoare's logic into thetemporal framework. ... Read more

Product Description
Time is a fascinating subject that has captured mankind'simagination from ancient times to the present. It has been, andcontinues to be studied across a wide range of disciplines, from thenatural sciences to philosophy and logic. More than two decades ago,Pnueli in a seminal work showed the value of temporal logic in thespecification and verification of computer programs. Today, a strong,vibrant international research community exists in the broad communityof computer science and AI. This volume presents a number of articles from leading researcherscontaining state-of-the-art results in such areas as puretemporal/modal logic, specification and verification, temporaldatabases, temporal aspects in AI, tense and aspect in naturallanguage, and temporal theorem proving. Earlier versions of some ofthe articles were given at the most recent International Conference onTemporal Logic, University of Manchester, UK. Readership: Any student of the area -- postgraduate,postdoctoral or even research professor -- will find the bookmost valuable. Computing professionals requiring state-of-the-artknowledge in the area will appreciate the volume for its leadingresults and its links to other relevant literature. ... Read more

Product Description
Temporal Logic: From Ancient Ideas to ArtificialIntelligence deals with the history of temporal logic as well asthe crucial systematic questions within the field. The book studiesthe rich contributions from ancient and medieval philosophy up to thedownfall of temporal logic in the Renaissance. The modern rediscoveryof the subject, which is especially due to the work of A. N. Prior, isdescribed, leading into a thorough discussion of the use of temporallogic in computer science and the understanding of natural language.
Temporal Logic: From Ancient Ideas to Artificial Intelligencethus interweaves linguistic, philosophical and computational aspectsinto an informative and inspiring whole.
... Read more