Higher-order action calculi

This publication has 8 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Interaction systems
  Published by Springer Nature ,1994
• Observable properties of higher order functions that dynamically create local names, or: What's new?
  Published by Springer Nature ,1993
• Action calculi, or syntactic action structures
  Published by Springer Nature ,1993
• The Polyadic π-Calculus: a Tutorial
  Published by Springer Nature ,1993
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Explicit substitutions
  Published by Association for Computing Machinery (ACM) ,1990
• Facile: A symmetric integration of concurrent and functional programming
  International Journal of Parallel Programming, 1989