Data path debugging: data-oriented debugging for a concurrent programming language

This publication has 6 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• Debugging heterogeneous distributed systems using event-based models of behavior
  Published by Association for Computing Machinery (ACM) ,1988
• MELDing data flow and object-oriented programming
  Published by Association for Computing Machinery (ACM) ,1987
• Formal behavioural specification of concurrent systems without globality assumptions
  Lecture Notes in Computer Science, 1981
• UNIX Time-Sharing System: Language Development Tools
  Bell System Technical Journal, 1978
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978