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.

Authors

David C. Luckham

This author has not been identified. Look up 'David C. Luckham' in Google

David P. Helmbold

This author has not been identified. Look up 'David P. Helmbold' in Google

Sigurd Meldal

This author has not been identified. Look up 'Sigurd Meldal' in Google

D. L. Bryan

This author has not been identified. Look up 'D. L. Bryan' in Google

M. A. Haberler

This author has not been identified. Look up 'M. A. Haberler' in Google