Types and Subtypes for Client-Server Interactions

This publication has 11 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Typing and subtyping for mobile processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A partially deadlock-free typed process calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A partially deadlock-free typed process calculus
  ACM Transactions on Programming Languages and Systems, 1998
• Local type inference
  Published by Association for Computing Machinery (ACM) ,1998
• Lilac: a functional programming language based on linear logic
  Journal of Functional Programming, 1994
• Combinatory representation of mobile processes
  Published by Association for Computing Machinery (ACM) ,1994
• Regular types for active objects
  ACM SIGPLAN Notices, 1993
• A sort inference algorithm for the polyadic π-calculus
  Published by Association for Computing Machinery (ACM) ,1993
• Linear logic
  Theoretical Computer Science, 1987