A graphical notation for describing executions of concurrent Ada programs

Publisher Website

1 January 1986

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGAda Ada Letters

Vol. VI (1) , 94-103
https://doi.org/10.1145/382256.382803

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

Steps to an Advanced Ada¹Programming Environment
IEEE Transactions on Software Engineering, 1985
Debugging Ada Tasking Programs
IEEE Software, 1985
Monitoring for Deadlock and Blocking in Ada Tasking
IEEE Transactions on Software Engineering, 1984