Task Sequencing Language for Specifying Distributed Ada Systems (1987)

by D Luckham, D Helmbold, S Meldal, D Bryan, M Haberler
Venue:TSL-1, PARLE: Conf. on Parallel Architectures and Languages, LNCS