default search action

combined dblp search
author search
venue search
publication search

ask others

Temporal Logic in Specification 1987: Altrincham, UK

> Home > Conferences and Workshops > Temporal Logic in Specification

Refine list

refinements active!

zoomed in on 19 of 19 records

view refined list in

export refined list as

showing all 19 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  authority control:
- export record
  dblp key:
  - conf/tls/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/1987
Behnam Banieqbal, Howard Barringer, Amir Pnueli:
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 398, Springer 1989, ISBN 3-540-51803-7
no results

Logic

- view
  authority control:
- export record
  dblp key:
  - conf/tls/Stirling87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Stirling87
Colin Stirling:
Comparing Linear and Branching Time Temporal Logics. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/tls/KatzP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/KatzP87
Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic. 21-43
- view
  authority control:
- export record
  dblp key:
  - conf/tls/GrafS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/GrafS87
Susanne Graf, Joseph Sifakis:
An Expressive Logic for a Process Algebra with Silent Actions. 44-61
- view
  authority control:
- export record
  dblp key:
  - conf/tls/BanieqbalB87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/BanieqbalB87
Behnam Banieqbal, Howard Barringer:
Temporal Logic with Fixed Points. 62-74
no results

Automata, Theorem Proving and Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/tls/Wolper87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Wolper87
Pierre Wolper:
On the Relation of Programs and Computations to Models of Temporal Logic. 75-123
- view
  authority control:
- export record
  dblp key:
  - conf/tls/MannaP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/MannaP87
Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs by forall-Automata. 124-164
- view
  authority control:
- export record
  dblp key:
  - conf/tls/Josko87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Josko87
Bernhard Josko:
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. 165-187
- view
  authority control:
- export record
  dblp key:
  - conf/tls/ClarkeG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/ClarkeG87
Edmund M. Clarke, Orna Grumberg:
The Model Checking Problem for Concurrent Systems with Many Similar Processes. 188-201
- view
  authority control:
- export record
  dblp key:
  - conf/tls/Vardi87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Vardi87
Moshe Y. Vardi:
Unified Verification Theory. 202-212
no results

Specification

- view
  authority control:
- export record
  dblp key:
  - conf/tls/Koymans87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Koymans87
Ron Koymans:
Specifying Message Passing Systems Requires Extending Temporal Logic. 213-223
- view
  authority control:
- export record
  dblp key:
  - conf/tls/Melliar-Smith87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Melliar-Smith87
P. M. Melliar-Smith:
Extending Interval Logic to Real Time Systems. 224-242
- view
  authority control:
- export record
  dblp key:
  - conf/tls/KhoslaM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/KhoslaM87
Samit Khosla, T. S. E. Maibaum:
The Prescription and Description of State Based Systems. 243-294
- view
  authority control:
- export record
  dblp key:
  - conf/tls/Kuiper87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Kuiper87
Ruurd Kuiper:
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. 295-303
- view
  authority control:
- export record
  dblp key:
  - conf/tls/Chaochen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Chaochen87
Zhou Chaochen:
Specifying Communicating Systems with Temporal Logic. 304-323
- view
  authority control:
- export record
  dblp key:
  - conf/tls/SernadasFSE87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/SernadasFSE87
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich:
Abstract Object Types: A Temporal Perspective. 324-350
- view
  authority control:
- export record
  dblp key:
  - conf/tls/ZwiersR87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/ZwiersR87
Job Zwiers, Willem P. de Roever:
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. 351-374
no results

Execution

- view
  authority control:
- export record
  dblp key:
  - conf/tls/Hale87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Hale87
Roger Hale:
Using Temporal Logic for Prototyping: The Design of a Lift Controller. 375-408
- view
  authority control:
- export record
  dblp key:
  - conf/tls/Gabbay87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tls/Gabbay87
Dov M. Gabbay:
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. 409-448
no results

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.