Task Sequencing Languages for Specifying Distributed Ada Systems

• Authors:

• David C. Luckham;David P. Helmbold;Sigurd Meldal;D. L. Bryan;M. A. Haberler

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the CRAI Workshop on Software Factories and Ada: Software Development and Ada
• Year:
• 1986