FACILE: A symmetric integration of concurrent and functional programming

This publication has 17 references indexed in Scilit:

• Integrated environments for formally well-founded design and simulation of concurrent systems
  IEEE Transactions on Software Engineering, 1988
• SMoLCS-driven concurrent calculi
  Published by Springer Nature ,1987
• The amber machine
  Published by Springer Nature ,1986
• Amber
  Lecture Notes in Computer Science, 1986
• Secd-m: a virtual machine for applicative programming
  Published by Springer Nature ,1985
• The categorical abstract machine
  Published by Springer Nature ,1985
• An implementation model of rendezvous communication
  Lecture Notes in Computer Science, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964