PiDuce: A Process Calculus with Native XML Datatypes

This publication has 15 references indexed in Scilit:

• XPi: A Typed Process Calculus for XML Messaging
  Published by Springer Nature ,2005
• Foundations of Web Transactions
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Modelling Dynamic Web Data
  Published by Springer Nature ,2004
• TulaFale: A Security Tool for Web Services
  Published by Springer Nature ,2004
• CDuce
  Published by Association for Computing Machinery (ACM) ,2003
• Orchestrating Transactions in Join Calculus*
  Published by Springer Nature ,2002
• Web Services and Their Composition
  Published by Springer Nature ,2001
• Subtyping recursive types
  ACM Transactions on Programming Languages and Systems, 1993
• Functions as processes
  Mathematical Structures in Computer Science, 1992