-
1
-
-
33646126280
-
From theory to practice in transactional composition of web services
-
M. Bravetti, L. Kloul, and G. Zavattaro, editors, EPEW/WS-FM, of, Springer
-
R. Bruni, G. L. Ferrari, H. C. Melgratti, U. Montanari, D. Strollo, and E. Tuosto. From theory to practice in transactional composition of web services. In M. Bravetti, L. Kloul, and G. Zavattaro, editors, EPEW/WS-FM, volume 3670 of Lecture Notes in Computer Science, pages 272-286. Springer, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3670
, pp. 272-286
-
-
Bruni, R.1
Ferrari, G.L.2
Melgratti, H.C.3
Montanari, U.4
Strollo, D.5
Tuosto, E.6
-
2
-
-
26944481746
-
Theoretical foundations for compensations in flow composition languages
-
J. Palsberg and M. Abadi, editors, ACM
-
R. Bruni, H. C. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In J. Palsberg and M. Abadi, editors, POPL, pages 209-220. ACM, 2005.
-
(2005)
POPL
, pp. 209-220
-
-
Bruni, R.1
Melgratti, H.C.2
Montanari, U.3
-
3
-
-
84947919695
-
Mobile ambients
-
M. Nivat, editor, FoSSaCS, of, Springer
-
L. Cardelli and A. D. Gordon. Mobile ambients. In M. Nivat, editor, FoSSaCS, volume 1378 of Lecture Notes in Computer Science, pages 140-155. Springer, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1378
, pp. 140-155
-
-
Cardelli, L.1
Gordon, A.D.2
-
5
-
-
77049126738
-
-
R. Milner. The polyadic π-calculus: A tutorial. In F. L. Bauer,W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, Proceedings of International NATO Summer School (Marktoberdorf, Germany, 1991), 94 of Series F. NATO ASI, 1993. Available as Technical Report ECS-LFCS-91-180, University of Edinburgh, October 1991.
-
R. Milner. The polyadic π-calculus: A tutorial. In F. L. Bauer,W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, Proceedings of International NATO Summer School (Marktoberdorf, Germany, 1991), volume 94 of Series F. NATO ASI, 1993. Available as Technical Report ECS-LFCS-91-180, University of Edinburgh, October 1991.
-
-
-
-
6
-
-
16244365871
-
A programming model for the orchestration of web services
-
IEEE Computer Society
-
J. Misra. A programming model for the orchestration of web services. In SEFM, pages 2-11. IEEE Computer Society, 2004.
-
(2004)
SEFM
, pp. 2-11
-
-
Misra, J.1
-
9
-
-
33750543734
-
Java Signal Core Layer (JSCL)
-
Technical report, Dipartimento di Informatica, Università di Pisa, Available at
-
D. Strollo. Java Signal Core Layer (JSCL). Technical report, Dipartimento di Informatica, Università di Pisa, 2005. Available at http://www.di.unipi.it/~strollo.
-
(2005)
-
-
Strollo, D.1
-
10
-
-
77049125371
-
-
W3C. Web Services Choreography Description Language (v.1.0). Technical report.
-
W3C. Web Services Choreography Description Language (v.1.0). Technical report.
-
-
-
|