High-level debugging of distributed systems: The behavioral abstraction approach

This publication has 4 references indexed in Scilit:

• Functionally Accurate, Cooperative Distributed Systems
  IEEE Transactions on Systems, Man, and Cybernetics, 1981
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978
• Software Descriptions with Flow Expressions
  IEEE Transactions on Software Engineering, 1978
• What is a "Distributed" Data Processing System?
  Computer, 1978