Christian Bonnet, Jean-François Caillet, Barbara Raither. Debugging concurrent software using a general Ada task state transition model. In Elmer F. Godwin, Miguel A. Carrio Jr., Teledyne Brown, editors, Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, WADAS 1987, Arlington, Virginia, USA, 1987. pages 67-76, George Washington University, 1987. [doi]
Abstract is missing.