Simulation of Mosca Specifications in Ada

Arlet Ottens, Hans Toetenel. Simulation of Mosca Specifications in Ada. In Jan van Katwijk, editor, Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings. Volume 603 of Lecture Notes in Computer Science, pages 182-196, Springer, 1992.

Abstract

Abstract is missing.