Conference proceedings
© 1989

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

Editors:

B. Banieqbal,
H. Barringer,
A. Pnueli

B. Banieqbal

View editor publications

You can also search for this editor in PubMed Google Scholar
H. Barringer

View editor publications

You can also search for this editor in PubMed Google Scholar
A. Pnueli

View editor publications

You can also search for this editor in PubMed Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 398)

3440 Accesses
298 Citations

Sections

Table of contents
Keywords
Bibliographic Information
Publish with us

Buy it now

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Learn about institutional subscriptions

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 papers)

Front Matter

PDF
Comparing linear and branching time temporal logics
- Colin Stirling
Pages 1-20
Interleaving set temporal logic
- Shmuel Katz, Doron Peled
Pages 21-43
An expressive logic for a process algebra with silent actions
- Susanne Graf, Joseph Sifakis
Pages 44-61
Temporal logic with fixed points
- Behnam Banieqbal, Howard Barringer
Pages 62-74
On the relation of programs and computations to models of temporal logic
- Pierre Wolper
Pages 75-123
Specification and verification of concurrent programs by ∀-automata
- Zohar Manna, Amir Pnueli
Pages 124-164
MCTL — An extension of CTL for modular verification of concurrent systems
- Bernhard Josko
Pages 165-187
The model checking problem for concurrent systems with many similar processes
- E. M. Clarke, O. Grumberg
Pages 188-201
Unified verification theory
- Moshe Y. Vardi
Pages 202-212
Specifying message passing systems requires extending temporal logic
- Ron Koymans
Pages 213-223
Extending interval logic to real time systems
- P. M. Melliar-Smith
Pages 224-242
The prescription and description of state based systems
- S. Khosla, T. S. E. Maibaum
Pages 243-294
Enforcing nondeterminism via linear time temporal logic specifications using hiding
- Ruurd Kuiper
Pages 295-303
Specifying communicating systems with temporal logic
- Zhou Chaochen
Pages 304-323
Abstract object types: A temporal perspective
- A. Sernadas, J. Fiadeiro, C. Sernadas, H.-D. Ehrich
Pages 324-350
Compositionality and modularity in process specification and design: A trace-state based approach
- Job Zwiers, Willem-P. de Roever
Pages 351-374
Using temporal logic for prototyping: The design of a lift controller
- Roger Hale
Pages 375-408
The declarative past and imperative future
- Dov Gabbay
Pages 409-448

Keywords

Bibliographic Information

Book Title: Temporal Logic in Specification
Book Subtitle: Altrincham, UK, April 8-10, 1987, Proceedings
Editors: B. Banieqbal, H. Barringer, A. Pnueli
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-51803-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1989
Softcover ISBN: 978-3-540-51803-7Published: 11 October 1989
eBook ISBN: 978-3-540-46811-0Published: 05 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 452
Topics: Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Software Engineering

Publish with us

Policies and ethics

Access via your institution

Buy it now

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Learn about institutional subscriptions