Specifying concurrent systems with TSL

@article{Rosenblum1991SpecifyingCS,
  title={Specifying concurrent systems with TSL},
  author={David S. Rosenblum},
  journal={IEEE Software},
  year={1991},
  volume={8},
  pages={52-61}
}
The Task Sequencing Language (TSL), which lets programmers specify constraints on the behavior of concurrent programs, is described. The constraints, specified by high-level annotations to Ada programs, are monitored at runtime; when a violation is detected, control is returned to the user, along with information about the nature of the violation. It is argued that such a tool is a necessary crutch for human reasoning capabilities when dealing with the complexities of concurrent process… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 22 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-6 OF 6 REFERENCES

TSL: task sequencing language

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Design ofRuntime Monitors for Concurrent Programs,”Tech

D. P. IIrhnlxrld, D. L. Bryan
  • Report 89-395,
  • 1989

$rrual Time and Global States of Disuihutrd Systems,” P7m P~~-allrlund Dim’htedAlgo- 17rhnrr, Elsevier, histrrdain

E LMattem
  • 1988