A method for solving synchronization problems

This publication has 13 references indexed in Scilit:

• An overview of the SR language and implementation
  ACM Transactions on Programming Languages and Systems, 1988
• The ``Hoare Logic'' of CSP, and All That
  ACM Transactions on Programming Languages and Systems, 1984
• Concepts and Notations for Concurrent Programming
  ACM Computing Surveys, 1983
• An assertional correctness proof of a distributed algorithm
  Science of Computer Programming, 1982
• High level programming for distributed computing
  Communications of the ACM, 1979
• Communicating sequential processes
  Communications of the ACM, 1978
• Monitors
  Communications of the ACM, 1974
• A new solution of Dijkstra's concurrent programming problem
  Communications of the ACM, 1974
• Structured multiprogramming
  Communications of the ACM, 1972
• Concurrent control with “readers” and “writers”
  Communications of the ACM, 1971