메뉴 건너뛰기




Volumn 6084 LNCS, Issue , 2010, Pages 120-134

A java inspired semantics for transactions in SOC

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED TRANSACTION; FORMAL SEMANTICS; JAVA TRANSACTIONS; PROCESS CALCULI; RUN-TIME ERRORS; TYPE SYSTEMS;

EID: 77958040441     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15640-3_9     Document Type: Conference Paper
Times cited : (6)

References (20)
  • 1
    • 18244395833 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 6
    • 84901003580 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 78650795547 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.