Verification of a distributed summation algorithm

This publication has 13 references indexed in Scilit:

• I/O automata in Isabelle/HOL
  Published by Springer Nature ,1995
• Mechanical verification of distributed algorithms in higher-order logic
  The Computer Journal, 1995
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Compositional specification and verification of distributed systems
  ACM Transactions on Programming Languages and Systems, 1994
• Proof Theory for µCRL: A Language for Processes with Data.
  Published by Springer Nature ,1994
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Parallel Program Design
  Published by Springer Nature ,1989
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Distributed network protocols
  IEEE Transactions on Information Theory, 1983
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976