High-Level Debugging of Distributed Systems: The Behavioral Abstraction Approach (1983)

by P Bates, J S Wileden
Venue:Journal of Systems and Software