XPi: A Typed Process Calculus for XML Messaging-Reference-Cited by-同舟云学术

XPi: A Typed Process Calculus for XML Messaging

Published:2005 Issue: Volume: Page:47-66
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Acciai Lucia,Boreale Michele

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11494881_4

Reference23 articles.

1. Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation 148(1), 1–70 (1999)

2. Andrews, T., Curbera, F., Thatte, S.: Business Process Execution Language for Web Wervices, v1.1 (2003), http://ifr.sap.com/bpel4ws

3. Benzaken, V., Castagna, G., Frisch, A.: Cduce: An XML-Centric General- Purpose Language. In: Proceedings of the ACM International Conference on Functional Programming (2003)

4. Bierman, G.M., Sewell, P.: 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/

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Comparing communication primitives via their relative expressive power;Information and Computation;2008-08

2. Behavioural equivalences for dynamic Web data;The Journal of Logic and Algebraic Programming;2008-02

3. Process Calculi and Peer-to-peer Web Data Integration;Electronic Notes in Theoretical Computer Science;2006-09

4. A Basic Contract Language for Web Services;Programming Languages and Systems;2006

5. On the Relative Expressive Power of Asynchronous Communication Primitives;Lecture Notes in Computer Science;2006