Design and verification of distributed tasking supervisors for concurrent programming languages

Authors:
David C. Luckham;David Samuel Rosenblum
Affiliations:
-;-
Venue:
Design and verification of distributed tasking supervisors for concurrent programming languages
Year:
1988

Issues in Ada Compiler Technology

Computer
An algebraic specification of the partial orders generated by concurrent Ada computations

TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Testing the correctness of tasking supervisors with TSL specifications

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Surveyors' forum: runtime checking and debugging of formally specified programs

ACM Computing Surveys (CSUR)

Hi-index	0.00