Functions as processes

This publication has 7 references indexed in Scilit:

• The chemical abstract machine
  Published by Association for Computing Machinery (ACM) ,1990
• A calculus of higher order communicating systems
  Published by Association for Computing Machinery (ACM) ,1989
• Fully abstract models of the lazy lambda calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• A Calculus of Communicating Systems with Label Passing
  DAIMI Report Series, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• Parametric channels via label expressions in CCS
  Theoretical Computer Science, 1984