References

The power of temporal proofs

10.1016/0304-3975(89)90138-2 · 1989 · External reference

Composing specifications

10.1145/151646.151649 · 1993 · External reference

Algebraic specification of concurrency

1993 · External reference

Unresolved reference

1990 · External reference

Mondel: An object-oriented specification language

1990 · External reference

Specification of object behaviour with defaults

1993 · External reference

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

1994 · External reference

On certification of specifications for TROLL light objects

1994 · External reference

Temporal logic specification of objects: An approch to compositionality and reusability allowing next operators

1994 · External reference

An elementary logic for object specification and verification

1994 · External reference

TROLL light: A core language for specifying objects

1992 · External reference

OO requirements analysis: An agent perspective

1993 · External reference

Constructing systems as object communities

1993 · External reference

Many-sorted temporal logic for multi-processes systems

1984 · External reference

LCM 3.0: A language for describing conceptual models

1993 · External reference

Calculo de Objectos e Eventos

1988 · External reference

Temporal reasoning over deontic specifications

10.1093/logcom/1.3.357 · 1991 · External reference

Temporal theories as modularisation units for concurrent system specification

10.1007/bf01212304 · 1992 · External reference

Logics of modal terms for system specification

10.1093/logcom/1.2.187 · 1990 · External reference

Constructive logics — Part I: A tutorial on proof systems and typed λ-calculi

10.1016/0304-3975(93)90011-h · 1993 · External reference

Untersuchungen über das logische Schlieβen

10.1007/bf01201353 · 1935 · External reference

Sketching concepts and computational model of TROLL light

1993 · External reference

Institutions: Abstract model theory for specification and programming

10.1145/147508.147524 · 1992 · External reference

Dynamic logic

1984 · External reference

revised version of the modelling language Troll (Version 2.0)

1994 · External reference

Computational Description of Object Communities with TROLL light

1994 · External reference

Modeling of Dynamic Object Systems — A Logic-Based Approch

1993 · External reference

Troll — A language for object-oriented specification of information systems

10.1145/226163.226166 · 1996 · External reference

Using an object-oriented diagram technique for the design of information systems

1991 · External reference

A logical theory of concurrent objects

1990 · External reference

Deontic logic: A concise overview

1993 · External reference

Unresolved reference

1993 · External reference

A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs

1994 · External reference

Isabelle: The next 700 theorem provers

1990 · External reference

Unresolved reference

1991 · External reference

Defaults in specifications

1993 · External reference

Modelling information systems as object societies

1994 · External reference

What is an object, after all?

1991 · External reference

Object specification logic

10.1093/logcom/5.5.603 · 1995 · External reference

Unresolved reference

1991 · External reference

Realisierung des Troll light — Verifikationskalküls mit Hilfe des generischen Theorembeweisers Isabelle

1994 · External reference

Equational specification of dynamic objects

1991 · External reference

Steps towards a method for the formal modeling of dynamic objects

10.1016/0169-023x(91)90026-t · 1991 · External reference

Applications of deontic logic in computer science: A concise overview

1993 · External reference

Algebraic specification

1990 · External reference