The SCEAS System
Navigation Menu

Conferences in DBLP

Temporal Logic in Specification (tls)
1987 (conf/tls/1987)

  1. Colin Stirling
    Comparing Linear and Branching Time Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:1-20 [Conf]
  2. Shmuel Katz, Doron Peled
    Interleaving Set Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:21-43 [Conf]
  3. Susanne Graf, Joseph Sifakis
    An Expressive Logic for a Process Algebra with Silent Actions. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:44-61 [Conf]
  4. Behnam Banieqbal, Howard Barringer
    Temporal Logic with Fixed Points. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:62-74 [Conf]
  5. Pierre Wolper
    On the Relation of Programs and Computations to Models of Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:75-123 [Conf]
  6. Zohar Manna, Amir Pnueli
    Specification and Verification of Concurrent Programs by forall-Automata. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:124-164 [Conf]
  7. Bernhard Josko
    MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:165-187 [Conf]
  8. Edmund M. Clarke, Orna Grumberg
    The Model Checking Problem for Concurrent Systems with Many Similar Processes. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:188-201 [Conf]
  9. Moshe Y. Vardi
    Unified Verification Theory. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:202-212 [Conf]
  10. Ron Koymans
    Specifying Message Passing Systems Requires Extending Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:213-223 [Conf]
  11. P. M. Melliar-Smith
    Extending Interval Logic to Real Time Systems. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:224-242 [Conf]
  12. Samit Khosla, T. S. E. Maibaum
    The Prescription and Description of State Based Systems. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:243-294 [Conf]
  13. Ruurd Kuiper
    Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:295-303 [Conf]
  14. Zhou Chaochen
    Specifying Communicating Systems with Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:304-323 [Conf]
  15. Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
    Abstract Object Types: A Temporal Perspective. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:324-350 [Conf]
  16. Job Zwiers, Willem P. de Roever
    Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:351-374 [Conf]
  17. Roger Hale
    Using Temporal Logic for Prototyping: The Design of a Lift Controller. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:375-408 [Conf]
  18. Dov M. Gabbay
    The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:409-448 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002