flag flag  

A Methodology for specifyng shared abstract data types

Description : In this draft paper a technique for specifying shared abstract data types is proposed. After a review of traditional transaction management techniques, the approach given by Spector [Spector84] is discussed. Starting from such approach, we present the outlines of a different, homogeneous, style of s...
Language(s) : English
Subject(s) : data types
Publisher(s) :
Contributor(s) :
Source(s) : Internal note CNUCE-B4-87-008, 1987.
Publication Date(s) :