Qualifying Types Illustrated by Synchronisation Examples

James Leslie Keedy, Gisela Menger, Christian Heinlein, Frans A. Henskens. Qualifying Types Illustrated by Synchronisation Examples. In Mehmet Aksit, Mira Mezini, Rainer Unland, editors, Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers. Volume 2591 of Lecture Notes in Computer Science, pages 330-344, Springer, 2002. [doi]

Abstract

Abstract is missing.