Event-based detection of concurrency

This publication has 11 references indexed in Scilit:

• Discovering models of software processes from event-based data
  ACM Transactions on Software Engineering and Methodology, 1998
• Design recovery for distributed systems
  IEEE Transactions on Software Engineering, 1997
• Automating process discovery through event-data analysis
  Published by Association for Computing Machinery (ACM) ,1995
• Testing and debugging distributed programs using global predicates
  IEEE Transactions on Software Engineering, 1995
• Observer-a concept for formal on-line validation of distributed systems
  IEEE Transactions on Software Engineering, 1994
• The Ariadne debugger
  Published by Association for Computing Machinery (ACM) ,1993
• Automated analysis of concurrent systems with the constrained expression toolset
  IEEE Transactions on Software Engineering, 1991
• Debugging heterogeneous distributed systems using event-based models of behavior
  Published by Association for Computing Machinery (ACM) ,1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Petri Nets
  ACM Computing Surveys, 1977