Processes: A Mathematical Model of Computing Agents

This publication has 3 references indexed in Scilit:

• Definitional interpreters for higher-order programming languages
  Published by Association for Computing Machinery (ACM) ,1972
• The correctness of nondeterministic programs
  Artificial Intelligence, 1970
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965