XPi: A typed process calculus for XML messaging

Lecture Notes in Computer Science

Volumn 3535, Issue , 2005, Pages 47-66

  Acciai, Lucia ^a   Boreale, Michele ^b  

^a AIX MARSEILLE UNIVERSITY   (France)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CHANNEL CAPACITY; CODES (STANDARDS); COMMUNICATION SYSTEMS; OBJECT ORIENTED PROGRAMMING; PATTERN MATCHING; WORLD WIDE WEB; FORMAL METHODS; WEB SERVICES; XML;

ASYNCHRONOUS COMMUNICATIONS; CODE MOBILITY; RUN-TIME SAFETY THEOREM; XML MESSAGING; ASYNCHRONOUS COMMUNICATION; CORE CALCULUS; DYNAMIC TYPING; MESSAGE HANDLING; PROCESS CALCULI;

XML; CALCULATIONS;

EID: 26444598542     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494881_4     Document Type: Conference Paper

References (23)

1. M. Abadi and A.D. Gordon. A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation, 148(1):1-70, Academic Press, 1999.
2. T. Andrews, F. Curbera, and S. Thatte. Business Process Execution Language for Web Wervices, v1.1, 2003. http://ifr.sap.com/bpel4ws.
3. V. Benzaken, G. Castagna, and A. Frisch. Cduce: An XML-Centric General-Purpose Language. In Proceedings of the ACM International Conference on Functional Programming, 2003.
4. G.M. Bierman and P. Sewell. Iota: A concurrent XML scripting language with applications to Home Area Networking. Technical Report 577, University of Cambridge Computer Laboratory, 2003.
5. Biztalk Server Home. http://www.microsoft.com/biztalk/.
6. S. Bjorg and L.G. Meredith. Contracts and Types. Communication of the ACM, 46(10), October 2003.
7. M. Boreale. On the Expressiveness of Internal Mobility in Name-Passing Calculi. Theoretical Computer Science, 195, 1998.
8. A. Brown, C. Laneve, and L.G. Meredith. πDuce: A process calculus with native XML datatypes. Manuscript. 2004.
9. L. Cardelli and G. Ghelli. TQL: A Query Language Semistruictured Data Based on the Ambient Logic. Mathematical Structures in Computer Science, 14:285-327, 2004.
10. L. Cardelli and A.D. Gordon. Mobile ambients. Theoretical Computer Science, 240(1), 2000.
11. G. Castagna, R. De Nicola, and D. Varacca. Semantic subtyping for the π-calculus. To appaear in Proc. of LICS'05.
12. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language 1.1. W3C Note, 2001. http://www.w3.org/TR/2001/NOTE-wsdl- 20010315.
13. B.C. Fallside. XML Schema Part 0: Primer. W3C Recommendation, 2001. http://www.w3.org/TR/2001/REC-xmlschema-0-20010502.
14. P. Gardner and S. Maffeis. Modeling Dynamic Web Data. In Proceedings of DBPL 2003, volume 2921 of LNCS. Springer, 2003.
15. H. Hosoya and B. Pierce. Regular Expression Pattern Matching for XML. Journal of Functional Programming, 2002.
16. H. Hosoya and B. Pierce. Xduce: A Statically Typed XML Processing Language. In Proceedings of ACM Transaction on Internet Technology, 2003.
17. M. Merro. Locality and polyadicity in asynchronous name-passing calculi. In Proceedings of FoSSaCS 2000, volume 1784 of LNCS, pages 238-251. Springer, 2000.
18. R. Milner. The Polyadic π-Calculus: a Tutorial. Technical Report ECS-LFCS-91-180, LFCS, Dept. of Computer Science, Edinburgh University, 1991.
19. R. Milner, J. Parrow, and D. Walker. A calculus of Mobile Processes, part I and II. Information and Computation, 100:1-41 and 42-78, 1992.
20. B. Pierce and D. Sangiorgi. Typing and Subtyping for Mobile Process. Mathematical Structures in Computer Science, 6(5), 1996.
21. D. Sangiorgi. The name discipline of uniform receptiveness. Theoretical Computer Science, 221, 1999.
22. D. Sangiorgi and R. Milner. Barbed bisimulation. Proc. of Concur'92, LNCS, Springer, 1992.
23. Web services activity web site, 2002. http://www.w3.org/2002/ws.