References

The temporal logic of programs

1977 · External reference

Modular verification of computer communication protocols

10.1109/tcom.1983.1095720 · 1983 · External reference

Now you may compose temporal logic specifications

1984 · External reference

A compositional temporal approach to csp-like language

1985 · External reference

A really abstract concurrent model and its temporal logic

1986 · External reference

A modal and temporal proof system for networks of processes

10.1007/bf01843567 · 1986 · External reference

Verification of sequential programs: Temporal axiomatization

1982 · External reference

Proving safety and liveness of communicating processes with examples

1982 · External reference

Modular verification of asynchronous networks

1987 · External reference

Completing the temporal picture

10.1016/0304-3975(91)90041-y · 1991 · External reference

Unresolved reference

1992 · External reference

Unresolved reference

1982 · External reference

Temporal and modal logic

1990 · External reference

Temporal aspects of logical procedure definition

10.1016/0306-4379(80)90009-5 · 1980 · External reference

Specification and verification of database dynamics

10.1007/bf00291052 · 1988 · External reference

A temporal logic framework for a layered approach to systems specification and verification

1988 · External reference

Formal techniques for systems specification and verification

10.1016/0306-4379(91)90001-p · 1991 · External reference

Abstract object types: A temporal perspective

1989 · External reference

Object specification logic

1995 · External reference

Describing and structuring objects for conceptual schema development

1992 · External reference

Temporal theories as modularization units for concurrent system specification

10.1007/bf01212304 · 1992 · External reference

Sometimes tomorrow is sometime: Action refinement in a temporal logic of objects

1994 · External reference

Process semantics of temporal logic specification

1993 · External reference

Denotational semantics of object specification within an arbitrary temporal logic institution

1993 · External reference

Introducing institutions

1984 · External reference

Institutions: Abstract model theory for specification and programming

10.1145/147508.147524 · 1992 · External reference

Unresolved reference

1990 · External reference

Unresolved reference

1985 · External reference

Object concepts and constructions

1991 · External reference

The basic building blocks of information systems

1989 · External reference

What is an object after all?

1991 · External reference

Oblog: Object-oriented, logic-based conceptual modeling

1992 · External reference

Unresolved reference

1993 · External reference

Object-oriented specification of information systems

1991 · External reference

Unresolved reference

1994 · External reference

A brief introduction to gnome

1995 · External reference

Unresolved reference

1993 · External reference

Lógica de certificaçao gnome (gnome certification logic)

1994 · External reference

Abduction in temporal object specification

1994 · External reference

Semantics of inheritance in logical object specifications

1991 · External reference

Specification of object behaviour with defaults

1993 · External reference

Tableaux for reasoning about objects

1993 · External reference

Rewrite systems

1990 · External reference

Simplification by cooperating decision procedures

10.1145/357073.357079 · 1979 · External reference

Algebraic implementation of objects over objects

1990 · External reference

10.1007/978-1-4471-3864-8_15

10.1007/978-1-4471-3864-8_15 · External reference

In-the-large object-oriented design of information systems

1991 · External reference