Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTemporal Logic in Specification 1987: Altrincham, UK
- 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
Logic
- Colin Stirling:
Comparing Linear and Branching Time Temporal Logics. 1-20 - Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic. 21-43 - Susanne Graf, Joseph Sifakis:
An Expressive Logic for a Process Algebra with Silent Actions. 44-61 - Behnam Banieqbal, Howard Barringer:
Temporal Logic with Fixed Points. 62-74
Automata, Theorem Proving and Model Checking
- Pierre Wolper
:
On the Relation of Programs and Computations to Models of Temporal Logic. 75-123 - Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs by forall-Automata. 124-164 - Bernhard Josko:
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. 165-187 - Edmund M. Clarke, Orna Grumberg:
The Model Checking Problem for Concurrent Systems with Many Similar Processes. 188-201 - Moshe Y. Vardi:
Unified Verification Theory. 202-212
Specification
- Ron Koymans:
Specifying Message Passing Systems Requires Extending Temporal Logic. 213-223 - P. M. Melliar-Smith:
Extending Interval Logic to Real Time Systems. 224-242 - Samit Khosla, T. S. E. Maibaum:
The Prescription and Description of State Based Systems. 243-294 - Ruurd Kuiper:
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. 295-303 - Zhou Chaochen:
Specifying Communicating Systems with Temporal Logic. 304-323 - Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich:
Abstract Object Types: A Temporal Perspective. 324-350 - Job Zwiers, Willem P. de Roever:
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. 351-374
Execution
- Roger Hale:
Using Temporal Logic for Prototyping: The Design of a Lift Controller. 375-408 - Dov M. Gabbay:
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. 409-448
a service of 
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.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
