XPi: A Typed Process Calculus for XML Messaging

This publication has 15 references indexed in Scilit:

• PiDuce: A Process Calculus with Native XML Datatypes
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• TQL: a query language for semistructured data based on the ambient logic
  Mathematical Structures in Computer Science, 2004
• Modelling Dynamic Web Data
  Published by Springer Nature ,2004
• Contracts and types
  Communications of the ACM, 2003
• Mobile ambients
  Theoretical Computer Science, 2000
• Locality and Polyadicity in Asynchronous Name-Passing Calculi
  Published by Springer Nature ,2000
• The name discipline of uniform receptiveness
  Theoretical Computer Science, 1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• On the expressiveness of internal mobility in name-passing calculi
  Theoretical Computer Science, 1998