The name discipline of uniform receptiveness (extended abstract)

This publication has 12 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• A partially deadlock-free typed process calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• π-Calculus, internal mobility, and agent-passing calculi
  Theoretical Computer Science, 1996
• Typing and subtyping for mobile processes
  Mathematical Structures in Computer Science, 1996
• Linearity and the pi-calculus
  Published by Association for Computing Machinery (ACM) ,1996
• Composing processes
  Published by Association for Computing Machinery (ACM) ,1996
• Types for dyadic interaction
  Published by Springer Nature ,1993
• Constraining interference in an object-based design method
  Published by Springer Nature ,1993
• Plain CHOCS A second generation calculus for higher order processes
  Acta Informatica, 1993
• Functions as processes
  Mathematical Structures in Computer Science, 1992