PiDuce: A process calculus with native XML datatypes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3670 LNCS, Issue , 2005, Pages 18-34

  Brown Jr , Allen L ^a   Laneve, Cosimo ^b   Gregory Meredith, L ^c,d  

^a MICROSOFT   (United States)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c HARVARD MEDICAL SCHOOL   (United States)

^d Djinnisys Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; PATTERN MATCHING; XML;

EXPONENTIAL COST; PROCESS CALCULUS; SCHEMAS;

SEMANTICS;

EID: 33646124701     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11549970_3     Document Type: Conference Paper

References (22)

1. S. Abiteboul, O. Benjelloun, I. Manolescu, T. Milo, and R. Weber. Active XML: Peer-to-peer data and Web services integration. In VLDP 2002: Proceedings of the Twenty-Eighth International Conference on Very Large Data Bases, Hong Kong SAR, China, pages 1087-1090. Morgan Kaufmann Publishers, 2002.
2. L. Acciai and M. Boreale. XPi: a typed process calculus for XML messaging. In 7th Formal Methods for Object-Based Distributed Systems (FMOODS'05), volume 3535 of Lecture Notes in Computer Science, pages 47 - 66. Springer-Verlag, 2005.
3. R. M. Amadio and L. Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993.
4. T. Andrews and et.al. Business Process Execution Language for Web Services. Version 1.1. Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems, 2003.
5. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-centric general-purpose language. In Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming (ICFP-03), pages 51-63. ACM Press, 2003.
6. K. Bhargavan, C. Fournet, A. Gordon, and R. Pucella. Tulafale: A security tool for web services. In Formal Methods for Components and Objects (FMCO 2003), volume 3188 of LNCS, pages 197-222. Springer, 2004.
7. R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in join calculus. In 13th International Conference on Concurrency Theory (CONCUR'02), volume 2421 of LNCS, pages 321-337. Springer, 2002,
8. S. Carpineti and C. Laneve. A rude contract language for web services. Extended Abstract at www.cs.unibo.it/BoPi, 2005.
9. S. Carpineti, C. Laneve, and P. Milazzo. BoPi: a distributed machine for experimenting web services technologies. In 5th International Conference on Application of Concurrency to System Design (ACSD'05), pages 202-212, IEEE Press, 2005.
10. G. Castagna, R. D. Nicola, and D. Varacca. Semantic subtyping for the π-calculus. In 20th IEEE Symposium on Logic in Computer Science (LICS'05). IEEE Computer Society, 2005.
11. P. Gardner and S. Maffeis. Modelling dynamic web data. In 9th International Workshop on Database Programming Languages (DBPL'03), volume 2921 of Lecture Notes in Computer Science, pages 130 - 146. Springer-Verlag, 2003.
12. H. Hosoya and B. C. Pierce. XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology (TOIT), 3(2);117-148, 2003.
13. H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML, In Proceedings of the International Conference on Functional Programming (ICFP), pages 11-22. ACM Press, 2000.
14. N. Kavantzas, G. Olsson, J. Mischkinsky, and M. Chapman. Web Services Choreography Description Languages. Oracle Corporation, 2003.
15. C. Laneve and G. Zavattaro. Foundations of web transactions. In Foundations of Software Science and Computation Structures (FOSSACS'05), volume 3441 of LNCS, pages 282-298. Springer, 2005.
16. F. Leymann. Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group, 2001.
17. D. Lugiez, F. Jacquemard, H. Comon, M. Tommasi, M. Dauchet, R. Gilleron, and S. Tison. Tree automata techniques and applications. 2002.
18. R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119-141, 1992.
19. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part I/II. Journal of Information and Computation, 100:1-77, Sept. 1992.
20. B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5), 1996.
21. D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1996. ECS-LFCS-96-345.
22. S. Woodgate, S. Mohr, and B. Loesgen. Microsoft BizTalk Server 2004 Unleashed. Sams, 2004.