Temporal Specifications of Object Behavior.
Constantin Arapis:
Temporal Specifications of Object Behavior.
MFDBS 1991: 308-324@inproceedings{DBLP:conf/mfdbs/Arapis91,
author = {Constantin Arapis},
editor = {Bernhard Thalheim and
J{\'a}nos Demetrovics and
Hans-Detlef Gerhardt},
title = {Temporal Specifications of Object Behavior},
booktitle = {MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database
and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991,
Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {495},
year = {1991},
isbn = {3-540-54009-1},
pages = {308-324},
ee = {db/conf/mfdbs/Arapis91.html},
crossref = {DBLP:conf/mfdbs/91},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [Ara89]
- ...
- [Ara90]
- ...
- [Ban88]
- François Bancilhon:
Object-Oriented Database Systems.
PODS 1988: 152-162 BibTeX
- [Ban87]
- Jay Banerjee, Hong-Tai Chou, Jorge F. Garza, Won Kim, Darrell Woelk, Nat Ballou, Hyoung-Joo Kim:
Data Model Issues for Object-Oriented Applications.
ACM Trans. Inf. Syst. 5(1): 3-26(1987) BibTeX
- [Care88]
- Michael J. Carey, David J. DeWitt, Scott L. Vandenberg:
A Data Model and Query Language for EXODUS.
SIGMOD Conference 1988: 413-423 BibTeX
- [Cas88]
- ...
- [Eme89]
- E. Allen Emerson, Tom Sadler, Jai Srinivasan:
Efficient Temporal Reasoning.
POPL 1989: 166-178 BibTeX
- [Fis87]
- Daniel H. Fishman, David Beech, H. P. Cate, E. C. Chow, Tim Connors, J. W. Davis, Nigel Derrett, C. G. Hoch, William Kent, Peter Lyngbæk, Brom Mahbod, Marie-Anne Neimat, T. A. Ryan, Ming-Chien Shan:
Iris: An Object-Oriented Database Management System.
ACM Trans. Inf. Syst. 5(1): 48-69(1987) BibTeX
- [Gab80]
- Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi:
On the Temporal Basis of Fairness.
POPL 1980: 163-173 BibTeX
- [Guy86]
- ...
- [Hen86]
- ...
- [Kho86]
- Setrag Khoshafian, George P. Copeland:
Object Identity.
OOPSLA 1986: 406-416 BibTeX
- [Kun85]
- David Chenho Kung:
On Verification of Database Temporal Constraints.
SIGMOD Conference 1985: 169-179 BibTeX
- [Lam83]
- Leslie Lamport:
Specifying Concurrent Program Modules.
ACM Trans. Program. Lang. Syst. 5(2): 190-222(1983) BibTeX
- [Lec88]
- Christophe Lécluse, Philippe Richard, Fernando Vélez:
O2, an Object-Oriented Data Model.
SIGMOD Conference 1988: 424-433 BibTeX
- [Lip86]
- Udo W. Lipeck:
Stepwise Specification of Dynamic Database Behaviour.
SIGMOD Conference 1986: 387-397 BibTeX
- [Lip87]
- Udo W. Lipeck, Gunter Saake:
Monitoring dynamic integrity constraints based on temporal logic.
Inf. Syst. 12(3): 255-269(1987) BibTeX
- [Mai87]
- David Maier, Jacob Stein, Allen Otis, Alan Purdy:
Development of an Object-Oriented DBMS.
OOPSLA 1986: 472-482 BibTeX
- [Man84]
- Zohar Manna, Pierre Wolper:
Synthesis of Communicating Processes from Temporal Logic Specifications.
ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) BibTeX
- [Per90]
- ...
- [Pnu86]
- ...
- [Obe86]
- ...
- [Ser80]
- Amílcar Sernadas:
Temporal aspects of logical procedure definiton.
Inf. Syst. 5(3): 167-187(1980) BibTeX
- [Sol85]
- Arne Sølvberg, David Chenho Kung:
On Structural and Behavioral Modeling of Reality.
DS-1 1985: 205-221 BibTeX
- [Tsi87]
- Dennis Tsichritzis, Eugene Fiume, Simon J. Gibbs, Oscar Nierstrasz:
KNOs: KNowledge Acquisition, Dissemination, and Manipulation Objects.
ACM Trans. Inf. Syst. 5(1): 96-112(1987) BibTeX
- [Tsi88]
- Dennis Tsichritzis, Oscar Nierstrasz:
Directions in Object-Oriented Research.
Object-Oriented Concepts, Databases, and Applications 1989: 523-536 BibTeX
- [Wei89]
- Stephen P. Weiser, Frederick H. Lochovsky:
OZ+: An Object-Oriented Database System.
Object-Oriented Concepts, Databases, and Applications 1989: 309-337 BibTeX
- [Wol87]
- ...
Referenced by
- Jef Wijsen:
Temporal FDs on Complex Objects.
ACM Trans. Database Syst. 24(1): 127-176(1999)
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:29:40 2009