On Programming Atomic Actions in Ada 95

Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings. On Programming Atomic Actions in Ada 95. In Keith Hardy, James S. Briggs, editors, Reliable Software Technologies - Ada-Europe 97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings. Volume 1251 of Lecture Notes in Computer Science, pages 254-265, Springer, 1997.

Abstract

Abstract is missing.