An Interpretation of Typed Objects into Typedπ-Calculus

This publication has 8 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Imperative Objects and Mobile Processes
  BRICS Report Series, 1998
• Typing and subtyping for mobile processes
  Mathematical Structures in Computer Science, 1996
• Objects in the π-Calculus
  Information and Computation, 1995
• Confluence of processes and systems of objects
  Published by Springer Nature ,1995
• Subtyping recursive types
  ACM Transactions on Programming Languages and Systems, 1993
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• Issues in the design of a parallel object-oriented language
  Formal Aspects of Computing, 1989