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. In János Demetrovics, Bernhard Thalheim, editors, MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989. Volume 364 of Lecture Notes in Computer Science, pages 53-67, Springer, 1989. [doi]

Abstract

Abstract is missing.