-
1
-
-
18244395833
-
The two-phase commitment protocol in an extended pi-calculus
-
Berger, M., Honda, K.: The two-phase commitment protocol in an extended pi-calculus. Electr. Notes Theor. Comput. Sci. 39(1) (2000)
-
(2000)
Electr. Notes Theor. Comput. Sci.
, vol.39
, Issue.1
-
-
Berger, M.1
Honda, K.2
-
2
-
-
35048834301
-
Compositional nested long running transactions
-
LNCS, Wermelinger, M., Margaria-Steffen, T. (eds.) Springer, Heidelberg
-
Bocchi, L.: Compositional nested long running transactions. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 194-208. Springer, Heidelberg (2004)
-
(2004)
FASE 2004
, vol.2984
, pp. 194-208
-
-
Bocchi, L.1
-
3
-
-
0344118797
-
A calculus for long-running transactions
-
LNCS, Najm, E., Nestmann, U., Stevens, P. (eds.) Springer, Heidelberg
-
Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124-138. Springer, Heidelberg (2003)
-
(2003)
FMOODS 2003
, vol.2884
, pp. 124-138
-
-
Bocchi, L.1
Laneve, C.2
Zavattaro, G.3
-
4
-
-
33746259630
-
Atomic commit and negotiation in service oriented computing
-
4038 LNCS, DOI 10.1007/11767954-2, Coordination Models and Languages - 8th International Conference, COORDINATION 2006, Proceedings
-
Bocchi, L., Lucchi, R.: Atomic commit and negotiation in service oriented computing. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 16-27. Springer, Heidelberg (2006) (Pubitemid 44098376)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, pp. 16-27
-
-
Bocchi, L.1
Lucchi, R.2
-
6
-
-
84901003580
-
Nested commits for mobile calculi: Extending Join
-
Lévy, J.-J., Mayr, E., Mitchell, J. (eds.) Kluwer, Dordrecht
-
Bruni, R., Melgratti, H.C., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Lévy, J.-J., Mayr, E., Mitchell, J. (eds.) IFIP TCS 2004, pp. 563-576. Kluwer, Dordrecht (2004)
-
(2004)
IFIP TCS 2004
, pp. 563-576
-
-
Bruni, R.1
Melgratti, H.C.2
Montanari, U.3
-
7
-
-
26944481746
-
Theoretical foundations for compensations in flow composition languages
-
ACM, New York
-
Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL, pp. 209-220. ACM, New York (2005)
-
(2005)
POPL
, pp. 209-220
-
-
Bruni, R.1
Melgratti, H.C.2
Montanari, U.3
-
8
-
-
33646122491
-
An operational semantics for StAC, a language for modelling long-running business transactions
-
LNCS, De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) Springer, Heidelberg
-
Butler, M., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running business transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COOR-DINATION 2004. LNCS, vol. 2949, pp. 87-104. Springer, Heidelberg (2004)
-
(2004)
COOR-DINATION 2004
, vol.2949
, pp. 87-104
-
-
Butler, M.1
Ferreira, C.2
-
9
-
-
0037250954
-
Coordinating business transactions on the web
-
Dalal, S., Temel, S., Little, M., Potts, M., Webber, J.: Coordinating business transactions on the web. IEEE Internet Computing 7(1), 30-39 (2003)
-
(2003)
IEEE Internet Computing
, vol.7
, Issue.1
, pp. 30-39
-
-
Dalal, S.1
Temel, S.2
Little, M.3
Potts, M.4
Webber, J.5
-
11
-
-
78650795547
-
On the interplay between fault handling and request-response service invocations
-
IEEE, Los Alamitos
-
Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: On the interplay between fault handling and request-response service invocations. In: ACSD, pp. 190-198. IEEE, Los Alamitos (2008)
-
(2008)
ACSD
, pp. 190-198
-
-
Guidi, C.1
Lanese, I.2
Montesi, F.3
Zavattaro, G.4
-
12
-
-
77049096112
-
Dynamic error handling in service oriented applications
-
Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: Dynamic error handling in service oriented applications. Fundam. Inf. 95(1), 73-102 (2009)
-
(2009)
Fundam. Inf.
, vol.95
, Issue.1
, pp. 73-102
-
-
Guidi, C.1
Lanese, I.2
Montesi, F.3
Zavattaro, G.4
-
13
-
-
24644473737
-
Foundations of web transactions
-
LNCS, Sassone, V. (ed.) Springer, Heidelberg
-
Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282-298. Springer, Heidelberg (2005)
-
(2005)
FOSSACS 2005
, vol.3441
, pp. 282-298
-
-
Laneve, C.1
Zavattaro, G.2
-
14
-
-
33845227076
-
Towards a unifying theory for web services composition
-
LNCS, Bravetti, M., Núñez, M., Zavattaro, G. (eds.) Springer, Heidelberg
-
Mazzara, M., Lanese, I.: Towards a unifying theory for web services composition. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 257-272. Springer, Heidelberg (2006)
-
(2006)
WS-FM 2006
, vol.4184
, pp. 257-272
-
-
Mazzara, M.1
Lanese, I.2
-
20
-
-
67650305193
-
Dynamic recovering of long running transactions
-
LNCS, Kakla-manis, C., Nielson, F. (eds.) Springer, Heidelberg
-
Vaz, C., Ferreira, C., Ravara, A.: Dynamic recovering of long running transactions. In: Kakla-manis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol. 5474, pp. 201-215. Springer, Heidelberg (2008)
-
(2008)
TGC 2008
, vol.5474
, pp. 201-215
-
-
Vaz, C.1
Ferreira, C.2
Ravara, A.3
|