Algebraic Laws for Nondeterminism and Concurrency

@article{Hennessy1985AlgebraicLF,
  title={Algebraic Laws for Nondeterminism and Concurrency},
  author={Matthew C. B. Hennessy and Robin Milner},
  journal={J. ACM},
  year={1985},
  volume={32},
  pages={137-161}
}
Since a nondeterministic and concurrent program may, in general, communicate repeatedly with its environment, its meaning cannot be presented naturally as an input/output function (as is often done in the denotational approach to semantics). In this paper, an alternative is put forth. First, a definition is given of what it is for two programs or program parts to be equivalent for all observers; then two program parts are said to be observation congruent if they are, in all program contexts… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 744 CITATIONS, ESTIMATED 26% COVERAGE

FILTER CITATIONS BY YEAR

1985
2019

CITATION STATISTICS

  • 132 Highly Influenced Citations

  • Averaged 28 Citations per year over the last 3 years

Similar Papers

Loading similar papers…