TSL-1

Task Sequencing Language

A language for specifying sequences of tasking events in Ada programs.

"Task Sequencing Language for Specifying Distributed Ada Systems", D. C. Luckham et al in PARLE: Parallel Architectures and Languages Europe, Lecture Notes in Computer Science 259, Springer-Verlag, 1987, pp.444-463.