Task sequencing language for specifying distributed Ada systems TSL-1

This publication has 7 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• Task sequencing language for specifying distributed Ada systems TSL-1
  Published by Springer Nature ,1987
• Saving traces for Ada debugging
  ACM SIGAda Ada Letters, 1985
• Debugging Ada Tasking Programs
  IEEE Software, 1985
• Runtime Detection and Description of Deadness Errors in Ada Tasking.
  Published by Defense Technical Information Center (DTIC) ,1983
• The Byzantine Generals Problem
  ACM Transactions on Programming Languages and Systems, 1982
• Petri Nets
  ACM Computing Surveys, 1977