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 infrastructureAmı́lcar Sernadas, Jaime Ramos
Abstract
Authors
Institutions
No ROR-resolved institution is linked to this work yet.
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 temporal logic of programs
1977
Modular verification of computer communication protocols
10.1109/tcom.1983.1095720 · 1983
Now you may compose temporal logic specifications
1984
A compositional temporal approach to csp-like language
1985
A really abstract concurrent model and its temporal logic
1986
A modal and temporal proof system for networks of processes
10.1007/bf01843567 · 1986
Verification of sequential programs: Temporal axiomatization
1982
Proving safety and liveness of communicating processes with examples
1982
Modular verification of asynchronous networks
1987
Completing the temporal picture
10.1016/0304-3975(91)90041-y · 1991
Unresolved referenced work
1992
Unresolved referenced work
1982
Temporal and modal logic
1990
Temporal aspects of logical procedure definition
10.1016/0306-4379(80)90009-5 · 1980
Specification and verification of database dynamics
10.1007/bf00291052 · 1988
A temporal logic framework for a layered approach to systems specification and verification
1988
Formal techniques for systems specification and verification
10.1016/0306-4379(91)90001-p · 1991
Abstract object types: A temporal perspective
1989
Object specification logic
1995
Describing and structuring objects for conceptual schema development
1992
Temporal theories as modularization units for concurrent system specification
10.1007/bf01212304 · 1992
Sometimes tomorrow is sometime: Action refinement in a temporal logic of objects
1994
Process semantics of temporal logic specification
1993
Denotational semantics of object specification within an arbitrary temporal logic institution
1993
Introducing institutions
1984
Institutions: Abstract model theory for specification and programming
10.1145/147508.147524 · 1992
Unresolved referenced work
1990
Unresolved referenced work
1985
Object concepts and constructions
1991
The basic building blocks of information systems
1989
What is an object after all?
1991
Oblog: Object-oriented, logic-based conceptual modeling
1992
Unresolved referenced work
1993
Object-oriented specification of information systems
1991
Unresolved referenced work
1994
A brief introduction to gnome
1995
Unresolved referenced work
1993
Lógica de certificaçao gnome (gnome certification logic)
1994
Abduction in temporal object specification
1994
Semantics of inheritance in logical object specifications
1991
10.1007/978-1-4471-3864-8_15
10.1007/978-1-4471-3864-8_15 · doi-reference
Simplification by cooperating decision procedures
10.1145/357073.357079 · doi-reference