Sequentiality and the π-Calculus

This publication has 27 references indexed in Scilit:

• An object calculus for asynchronous communication
  Published by Springer Nature ,2006
• Secure Information Flow as Typed Process Behaviour
  Published by Springer Nature ,2000
• Game-theoretic analysis of call-by-value computation
  Theoretical Computer Science, 1999
• Types and Subtypes for Client-Server Interactions
  Published by Springer Nature ,1999
• Some congruence properties for π-calculus bisimilarities
  Theoretical Computer Science, 1998
• A partially deadlock-free typed process calculus
  ACM Transactions on Programming Languages and Systems, 1998
• Language primitives and type discipline for structured communication-based programming
  Published by Springer Nature ,1998
• Types for dyadic interaction
  Published by Springer Nature ,1993
• Linear logic
  Theoretical Computer Science, 1987
• Sequential algorithms on concrete data structures
  Theoretical Computer Science, 1982