Specification and Verification of Behavioral Patterns in Distributed Computations

This publication has 16 references indexed in Scilit:

• Debugging tool for distributed Estelle programs
  Computer Communications, 1993
• Detecting atomic sequences of predicates in distributed computations
  Published by Association for Computing Machinery (ACM) ,1993
• Reachability analysis on distributed executions
  Published by Springer Nature ,1993
• Temporal logic and applications—a tutorial
  Computer Networks and ISDN Systems, 1992
• Detection of unstable predicates in distributed programs
  Published by Springer Nature ,1992
• Consistent detection of global predicates
  Published by Association for Computing Machinery (ACM) ,1991
• Branching time temporal logic
  Published by Springer Nature ,1989
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• High-level debugging of distributed systems: The behavioral abstraction approach
  Journal of Systems and Software, 1983