Computations, residuals, and the power of indeterminacy

This publication has 15 references indexed in Scilit:

• On the relationship of CCS and CSP
  Published by Springer Nature ,2006
• Countable nondeterminism and random assignment
  Journal of the ACM, 1986
• Alternative semantics for McCarthy's amb
  Published by Springer Nature ,1985
• A continuous semantics for unbounded nondeterminism
  Theoretical Computer Science, 1983
• A cook's tour of countable nondeterminism
  Published by Springer Nature ,1981
• Algebraic semantics
  Lecture Notes in Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Semantics of unbounded nondeterminism
  Published by Springer Nature ,1980
• Minimal and Optimal Computations of Recursive Programs
  Journal of the ACM, 1979
• Communicating sequential processes
  Communications of the ACM, 1978