On the algebraic specification of nondeterministic programming languages

This publication has 12 references indexed in Scilit:

• A term model for CCS
  Published by Springer Nature ,2005
• Algorithmische Sprache und Programmentwicklung
  Published by Springer Nature ,1981
• Transformational semantics for concurrent programs
  Information Processing Letters, 1980
• Program development: From enumeration to backtracking
  Information Processing Letters, 1980
• A theory of nondeterminism
  Published by Springer Nature ,1980
• Semantics of nondeterministic and noncontinuous constructs
  Published by Springer Nature ,1979
• Nondeterminism in logics of programs
  Published by Association for Computing Machinery (ACM) ,1978
• Fully abstract models of typed λ-calculi
  Theoretical Computer Science, 1977
• Nondeterministic Algorithms
  Journal of the ACM, 1967
• A Basis for a Mathematical Theory of Computation)
  Published by Elsevier ,1963