Protocol design by layered decomposition

This publication has 14 references indexed in Scilit:

• Verification of Sequential and Concurrent Programs
  Published by Springer Nature ,1991
• Predicates are predicate transformers: a unified compositional theory for concurrency
  Published by Association for Computing Machinery (ACM) ,1989
• Parallel Program Design
  Published by Springer Nature ,1989
• Designing distributed algorithms by means of formal sequentially phased reasoning
  Published by Springer Nature ,1989
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Distributed network protocols
  IEEE Transactions on Information Theory, 1983
• A Distributed Algorithm for Minimum-Weight Spanning Trees
  ACM Transactions on Programming Languages and Systems, 1983
• Decomposition of distributed programs into communication-closed layers
  Science of Computer Programming, 1982
• The ?Hoare logic? of concurrent programs
  Acta Informatica, 1980
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976