ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Shared Abstract Data Types: An Algebraic Methodology for Their Specification.

Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
@inproceedings{DBLP:conf/mfdbs/BondavalliFLV89,
  author    = {Andrea Bondavalli and
               Nicoletta De Francesco and
               Diego Latella and
               Gigliola Vaglini},
  editor    = {J{\'a}nos Demetrovics and
               Bernhard Thalheim},
  title     = {Shared Abstract Data Types: An Algebraic Methodology for Their
               Specification},
  booktitle = {MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database
               Systems, Visegr{\'a}d, Hungary, June 26-30, 1989},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {364},
  year      = {1989},
  isbn      = {3-540-51251-9},
  pages     = {53-67},
  ee        = {db/conf/mfdbs/BondavalliFLV89.html},
  crossref  = {DBLP:conf/mfdbs/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

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

[Alb85]
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
[BadRam88]
B. R. Badrinath, Krithi Ramamritham: Synchronizing Transactions on Objects. IEEE Trans. Computers 37(5): 541-547(1988) BibTeX
[Bern81]
Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981) BibTeX
[Chun87]
Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos: Process Management and Assertion Enforcement for a Semantic Data Model. EDBT 1988: 469-487 BibTeX
[Cor88]
...
[EhMah85]
...
[Esw76]
Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) BibTeX
[Gar83]
Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983) BibTeX
[Gog78]
...
[Gog83]
...
[Gray80]
Jim Gray: A Transaction Model. ICALP 1980: 282-298 BibTeX
[HerWing87]
Maurice Herlihy, Jeannette M. Wing: Axioms for Concurrent Objects. POPL 1987: 13-26 BibTeX
[Kor83]
Henry F. Korth: Locking Primitives in a Database System. J. ACM 30(1): 55-79(1983) BibTeX
[Kor88]
Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386 BibTeX
[Lamps81]
Butler W. Lampson: Atomic Transactions. Advanced Course: Distributed Systems 1980: 246-265 BibTeX
[Lis83]
Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Trans. Program. Lang. Syst. 5(3): 381-404(1983) BibTeX
[Lyn88]
Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan Fekete: A Theory of Atomic Transactions. ICDT 1988: 41-71 BibTeX
[Moss85]
...
[Schw83]
...
[Schw84]
Peter M. Schwarz, Alfred Z. Spector: Synchronizing Shared Abstract Types. ACM Trans. Comput. Syst. 2(3): 223-250(1984) BibTeX
[SernSern87]
Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116 BibTeX
[WeiLis85]
William E. Weihl, Barbara Liskov: Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269(1985) BibTeX
[Weik86]
Gerhard Weikum: A Theoretical Foundation of Multi-Level Concurrency Control. PODS 1986: 31-43 BibTeX
[Bee88]
Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154 BibTeX

Referenced by

  1. Man Hon Wong, Divyakant Agrawal: Context-Specific Synchronization for Atomic Data Types. ICDT 1992: 201-215
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:37 2009