Debugging tool for distributed Estelle programs

This publication has 11 references indexed in Scilit:

• Echidna, an estelle compiler to prototype protocols on distributed computers
  Concurrency: Practice and Experience, 1992
• Recovery in distributed systems using optimistic message logging and checkpointing
  Journal of Algorithms, 1990
• An introduction to Estelle: A specification language for distributed systems
  Computer Networks and ISDN Systems, 1987
• Debugging Parallel Programs with Instant Replay
  IEEE Transactions on Computers, 1987
• Discarding Obsolete Information in a Replicated Database System
  IEEE Transactions on Software Engineering, 1987
• Checkpointing and Rollback-Recovery for Distributed Systems
  IEEE Transactions on Software Engineering, 1987
• Optimistic recovery in distributed systems
  ACM Transactions on Computer Systems, 1985
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Concurrency Control in Distributed Database Systems
  ACM Computing Surveys, 1981
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978