Web services and models of computation

Electronic Notes in Theoretical Computer Science

Volumn 105, Issue 1-4 SUPPL., 2004, Pages 5-9

  Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

calculus; Fusion calculus; Mobile synchronization; Petri nets; Software architecture; Web services; XML

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; COMPUTER SOFTWARE; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING; SECURITY OF DATA; USER INTERFACES; XML;

&PIE-CALCULUS; FUSION CALCULUS; MOBILE SYNCHRONIZATION; SOFTWARE ARCHITECTURES; WEB SERVICES; XML INTERFACES;

WORLD WIDE WEB;

EID: 10444259134     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.05.009     Document Type: Conference Paper

References (17)

1. N. Benton, L. Cardelli, and C. Fournet. Modern concurrency abstractions for C‡. In B. Magnusson, editor, Proceedings of ECOOP 2002, volume 2374 of Lect. Notes in Comput. Sci., pages 415-440, Spain, June 2002. Springer Verlag.
2. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201-236, March 1997.
3. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. In Proceedings of FMOODS'03, Lect. Notes in Comput. Sci. Springer Verlag, 2003. To appear.
4. M. Boreale, M. Buscemi, and U. Montanari. The distinctive fusion calculus. Unpublished draft, 2003.
5. R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in join calculus. In L. Brim, P. Jancar, M. Kretinsky, and A. Kucera, editors, Proceedings of CONCUR 2002, volume 2421 of Lect. Notes in Comput. Sci., pages 321-336. Springer Verlag, 2002.
6. R. Bruni, H. Melgratti, and U. Montanari. Flat Committed Join in Join. In F. Honsell, M. Lenisa and M. Miculan, editors, Proceedings of COMETA 2003: Computational Metamodels, ENTCS, to appear.
7. R. Bruni and U. Montanari. Zero-safe nets: Comparing the collective and individual token approaches. Inform. and Comput. 156(1-2):46-89, 2000.
8. R. Bruni and U. Montanari. Concurrent Models for Linda with Transactions. Math. Struct. in Comp. Sc., to appear.
9. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A formal basis for reasoning on programmable QoS. In: Nachum Dershowitz, Ed., Verification-Theory and Practice: Proceedings of an International Symposium in Honor of Zohar Manna's 64th Birthday, Springer LNCS, to appear.
10. G. Ferrari, U. Montanari, and E. Tuosto. A Its semantics of ambients via graph synchronization with mobility. In 7th Italian Conference on Theoretical Computer Science - ICTCS'01, volume 2202 of Lecture Notes in Computer Science. Springer, 2001.
11. G. Ferrari, U. Montanari, and E. Tuosto. Graph-based Models of Internetworking Systems. In: Bernhard K. Aichernig and Tom Maibaum, Eds., UNU/IIST 10th Anniversary Colloquium, Springer LNCS, Vol. 2757 pp.242-266.
12. P. Gardner, C. Laneve, and L. Wischik. The fusion machine (extended abstract). In Proc. of CONCUR '02, LNCS 2421. Springer-Verlag, 2002.
13. D. Hirsch, P. Inverardi, and U. Montanari. Reconfiguration of software architecture styles with name mobility. In A. Porto and G.-C. Roman, editors, Coordination 2000, volume 1906 of LNCS, pages 148-163. Springer Verlag, 2000.
14. D. Hirsch and U. Montanari. Synchronized hyperedge replacement with name mobility: A graphical calculus for name mobility. In 12th International Conference in Concurrency Theory (CONCUR 2001), volume 2154 of LNCS, pages 121-136, Aalborg, Denmark, 2001. Springer Verlag.
15. L. G. Meredith, S. Bjorg, and D. Richter. Highwire Language Specification Version 1.0. Unpublished manuscript.
16. Microsoft Corp. Biztalk Server - http://www.microsoft.com/biztalk.
17. J. Parrow and B. Victor. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In Proc. of LICS'98. IEEE Computer Society Press, 1998.