Abstract
No public abstract is available from the verified source records.
Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureStefan Conrad
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
openalex
Confidence 95%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
The power of temporal proofs
10.1016/0304-3975(89)90138-2 · 1989
Composing specifications
10.1145/151646.151649 · 1993
Algebraic specification of concurrency
1993
Unresolved referenced work
1990
Mondel: An object-oriented specification language
1990
Specification of object behaviour with defaults
1993
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
1994
On certification of specifications for TROLL light objects
1994
Temporal logic specification of objects: An approch to compositionality and reusability allowing next operators
1994
An elementary logic for object specification and verification
1994
TROLL light: A core language for specifying objects
1992
OO requirements analysis: An agent perspective
1993
Constructing systems as object communities
1993
Many-sorted temporal logic for multi-processes systems
1984
LCM 3.0: A language for describing conceptual models
1993
Calculo de Objectos e Eventos
1988
Temporal reasoning over deontic specifications
10.1093/logcom/1.3.357 · 1991
Temporal theories as modularisation units for concurrent system specification
10.1007/bf01212304 · 1992
Logics of modal terms for system specification
10.1093/logcom/1.2.187 · 1990
Constructive logics — Part I: A tutorial on proof systems and typed λ-calculi
10.1016/0304-3975(93)90011-h · 1993
Untersuchungen über das logische Schlieβen
10.1007/bf01201353 · 1935
Sketching concepts and computational model of TROLL light
1993
Institutions: Abstract model theory for specification and programming
10.1145/147508.147524 · 1992
Dynamic logic
1984
revised version of the modelling language Troll (Version 2.0)
1994
Computational Description of Object Communities with TROLL light
1994
Modeling of Dynamic Object Systems — A Logic-Based Approch
1993
Troll — A language for object-oriented specification of information systems
10.1145/226163.226166 · 1996
Using an object-oriented diagram technique for the design of information systems
1991
A logical theory of concurrent objects
1990
Deontic logic: A concise overview
1993
Unresolved referenced work
1993
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs
1994
Isabelle: The next 700 theorem provers
1990
Unresolved referenced work
1991
Defaults in specifications
1993
Modelling information systems as object societies
1994
What is an object, after all?
1991
Object specification logic
10.1093/logcom/5.5.603 · 1995
Unresolved referenced work
1991
Steps towards a method for the formal modeling of dynamic objects
10.1016/0169-023x(91)90026-t · doi-reference