Combinatory formulations of concurrent languages

This publication has 12 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• THE QUINE-BERNAYS COMBINATORY CALCULUS
  International Journal of Foundations of Computer Science, 1995
• Combinatory representation of mobile processes
  Published by Association for Computing Machinery (ACM) ,1994
• An operational framework for value-passing processes
  Published by Association for Computing Machinery (ACM) ,1994
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Explicit substitutions
  Published by Association for Computing Machinery (ACM) ,1990
• Towards a lambda-calculus for concurrent and communicating systems
  Published by Springer Nature ,1989
• Director strings as combinators
  ACM Transactions on Programming Languages and Systems, 1988
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972
• Über die Bausteine der mathematischen Logik
  Mathematische Annalen, 1924