Task sequencing language for specifying distributed Ada systems
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 249-305
- https://doi.org/10.1007/3-540-18341-8_24
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- Debugging Ada Tasking ProgramsIEEE Software, 1985
- Runtime Detection and Description of Deadness Errors in Ada Tasking.Published by Defense Technical Information Center (DTIC) ,1983
- The Byzantine Generals ProblemACM Transactions on Programming Languages and Systems, 1982
- Petri NetsACM Computing Surveys, 1977