Cover Image

Temporal Logic of Programs /

Show other versions (1)

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, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of t...

Full description

Bibliographic Details
Main Author:	Kröger, Fred
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1987.
Series:	EATCS monographs on theoretical computer science ; 8.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
by: Clement, Timothy Paul
Published: (1992)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
by: Deville, Yves
Published: (1994)

Modal and Temporal Properties of Processes /
by: Stirling, Colin
Published: (2001)

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)

Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /
by: Berger, Ulrich
Published: (1999)

Deontic logic, agency and normative systems ΔEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 /
by: Brown, Mark A.
Published: (1996)

Logics of Programs : Brooklyn, June 17-19, 1985 /
by: Parikh, Rohit
Published: (1985)

Predicate Calculus and Program Semantics /
by: Dijkstra, Edsger W.
Published: (1990)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1997)

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement /
by: Broy, Manfred
Published: (2001)

Advanced Topics in Term Rewriting /
by: Ohlebusch, Enno
Published: (2002)

Beauty Is Our Business : a Birthday Salute to Edsger W. Dijkstra /
by: Feijen, W. H. J.
Published: (1990)

PROLOG for Computer Science /
by: Dawe, M. S.
Published: (1994)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings /
by: Melton, Austin
Published: (1986)

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings /
by: Main, Michael
Published: (1988)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings /
by: Best, Eike
Published: (1993)

Current Trends in Concurrency : Overviews and Tutorials /
by: Bakker, Jacobus W. de
Published: (1986)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Extensional Constructs in Intensional Type Theory /
by: Hofmann, Martin
Published: (1997)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /
by: Crossley, John N.
Published: (1993)

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings /
by: Fribourg, Laurent
Published: (1994)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

Programming and Mathematical Method : International Summer School /
by: Broy, Manfred
Published: (1992)

Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)

Digital Circuit Design for Computer Science Students : an Introductory Textbook /
by: Wirth, Niklaus
Published: (1995)

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)

Logic Programming and Databases /
by: Ceri, Stefano
Published: (1990)

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings /
by: Shapiro, Ehud
Published: (1986)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 /
Published: (1987)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Fairness /
by: Francez, Nissim
Published: (1986)

Duration Calculus : A Formal Approach to Real-Time Systems /
by: Chaochen, Zhou
Published: (2004)