Task Sequencing Languages for Specifying Distributed Ada Systems

David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler. Task Sequencing Languages for Specifying Distributed Ada Systems. In A. Nico Habermann, Ugo Montanari, editors, Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. Volume 275 of Lecture Notes in Computer Science, pages 249-305, Springer, 1986.

Bibliographies