A polymorphic type system for the polyadic π-calculus

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
• Objects in the π-Calculus
  Information and Computation, 1995
• Confluence of processes and systems of objects
  Published by Springer Nature ,1995
• The Lazy Lambda Calculus in a Concurrency Scenario
  Information and Computation, 1994
• Locality and true-concurrency in calculi for mobile processes
  Published by Springer Nature ,1994
• A sort inference algorithm for the polyadic π-calculus
  Published by Association for Computing Machinery (ACM) ,1993
• Principal typing schemes in a polyadic π-calculus
  Published by Springer Nature ,1993
• A pi-calculus semantics for an object-based design notation
  Published by Springer Nature ,1993
• Functions as processes
  Mathematical Structures in Computer Science, 1992