A Generalized Deadlock-Free Process Calculus

This publication has 14 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
• Typing the use of resources in a concurrent calculus
  Published by Springer Nature ,1997
• Linearity and the pi-calculus
  Published by Association for Computing Machinery (ACM) ,1996
• Concurrent objects in a process calculus
  Published by Springer Nature ,1995
• Toward Foundations of Concurrent Object‐Oriented Programming‐Types and Language Design
  Theory and Practice of Object Systems, 1995
• A sort inference algorithm for the polyadic π-calculus
  Published by Association for Computing Machinery (ACM) ,1993
• CML
  Published by Association for Computing Machinery (ACM) ,1991
• Proof systems for satisfiability in Hennessy-Milner Logic with recursion
  Theoretical Computer Science, 1990
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989