Specification of Concurrency Control in Persistent Programming Languages

Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz. Specification of Concurrency Control in Persistent Programming Languages. In Antonio Albano, Ronald Morrison, editors, Persistent Object Systems, Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September, 1992. Workshops in Computing, pages 126-143, Springer, 1992. [doi]

Abstract

Abstract is missing.