Verification of distributed programs using representative interleaving sequences

This publication has 27 references indexed in Scilit:

• Proving partial order liveness properties
  Published by Springer Nature ,2005
• Event fairness and non-interleaving concurrency
  Formal Aspects of Computing, 1989
• Completing the temporal picture
  Published by Springer Nature ,1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Partial ordering derivations for CCS
  Published by Springer Nature ,1985
• Alternative semantics for temporal logics
  Theoretical Computer Science, 1983
• Decomposition of distributed programs into communication-closed layers
  Science of Computer Programming, 1982
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980