An object calculus for asynchronous communication

This publication has 15 references indexed in Scilit:

• Functions as processes
  Published by Springer Nature ,2005
• Computational field model: toward a new computing model/methodology for open distributed environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Towards a type theory for active objects
  Published by Association for Computing Machinery (ACM) ,1991
• The computational field model for open distributed environments (extended abstract)
  Published by Springer Nature ,1991
• Conditional rewriting logic: Deduction, models and concurrency
  Published by Springer Nature ,1991
• A calculus of higher order communicating systems
  Published by Association for Computing Machinery (ACM) ,1989
• Towards a lambda-calculus for concurrent and communicating systems
  Published by Springer Nature ,1989
• A Calculus of Communicating Systems with Label Passing
  DAIMI Report Series, 1986
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Viewing control structures as patterns of passing messages
  Artificial Intelligence, 1977