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.
@inproceedings{LuckhamHMBH86,
title = {Task Sequencing Languages for Specifying Distributed Ada Systems},
author = {David C. Luckham and David P. Helmbold and Sigurd Meldal and D. L. Bryan and M. A. Haberler},
year = {1986},
tags = {C++},
researchr = {https://researchr.org/publication/LuckhamHMBH86},
cites = {0},
citedby = {0},
pages = {249-305},
booktitle = {Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings},
editor = {A. Nico Habermann and Ugo Montanari},
volume = {275},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18341-8},
}