메뉴 건너뛰기




Volumn 5201 LNCS, Issue , 2008, Pages 418-433

Global progress in dynamically interleaved multiparty sessions

Author keywords

[No Author keywords available]

Indexed keywords

MULTIPARTY SESSIONS; STATIC INTERACTIONS; TYPE SYSTEMS;

EID: 54249145123     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85361-9_33     Document Type: Conference Paper
Times cited : (155)

References (23)
  • 1
    • 45749143931 scopus 로고    scopus 로고
    • A Type System for Client Progress in a Service-Oriented Calculus
    • Degano, P, De Nicola, R, Meseguer, J, eds, Concurrency, Graphs and Models, Springer, Heidelberg
    • Acciai, L., Boreale, M.: A Type System for Client Progress in a Service-Oriented Calculus. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 642-658. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5065 , pp. 642-658
    • Acciai, L.1    Boreale, M.2
  • 2
    • 41549098685 scopus 로고    scopus 로고
    • Bonelli, E., Compagnoni, A.: Multipoint Session Types for a Distributed Calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, 4912, pp. 240-256. Springer, Heidelberg (2008)
    • Bonelli, E., Compagnoni, A.: Multipoint Session Types for a Distributed Calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 240-256. Springer, Heidelberg (2008)
  • 3
    • 38549090009 scopus 로고    scopus 로고
    • Towards a Unifying Theory for Choreography Conformance and Contract Compliance
    • Lumpe, M, Vanderperren, W, eds, SC, Springer, Heidelberg
    • Bravetti, M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34-50. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4829 , pp. 34-50
    • Bravetti, M.1    Zavattaro, G.2
  • 4
    • 45749154866 scopus 로고    scopus 로고
    • Multiparty Sessions in SOC
    • Lea, D, Zavattaro, G, eds, COORDINATION 2008, Springer, Heidelberg
    • Bruni, R., Lanese, I., Melgratti, H., Tuosto, E.: Multiparty Sessions in SOC. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 67-82. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5052 , pp. 67-82
    • Bruni, R.1    Lanese, I.2    Melgratti, H.3    Tuosto, E.4
  • 6
    • 37149028570 scopus 로고    scopus 로고
    • Asynchronous Session Types and Progress for Object-Oriented Languages
    • Bonsangue, M.M, Johnsen, E.B, eds, FMOODS 2007, Springer, Heidelberg
    • Coppo, M., Dezani-Ciancaglini, M., Yoshida, N.: Asynchronous Session Types and Progress for Object-Oriented Languages. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 1-31. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4468 , pp. 1-31
    • Coppo, M.1    Dezani-Ciancaglini, M.2    Yoshida, N.3
  • 7
    • 41549094091 scopus 로고    scopus 로고
    • Dezani-Ciancaglini, M., de Liguoro, U., Yoshida, N.: On Progress for Structured Communications. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, 4912, pp. 257-275. Springer, Heidelberg (2008)
    • Dezani-Ciancaglini, M., de Liguoro, U., Yoshida, N.: On Progress for Structured Communications. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 257-275. Springer, Heidelberg (2008)
  • 8
    • 33746632581 scopus 로고    scopus 로고
    • Session Types for Object-Oriented Languages
    • Thomas, D, ed, ECOOP 2006, Springer, Heidelberg
    • Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session Types for Object-Oriented Languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328-352. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4067 , pp. 328-352
    • Dezani-Ciancaglini, M.1    Mostrous, D.2    Yoshida, N.3    Drossopoulou, S.4
  • 9
    • 28844438936 scopus 로고    scopus 로고
    • Subtyping for Session Types in the Pi-Calculus
    • Gay, S., Hole, M.: Subtyping for Session Types in the Pi-Calculus. Acta Informatica 42(2/3), 191-225 (2005)
    • (2005) Acta Informatica , vol.42 , Issue.2-3 , pp. 191-225
    • Gay, S.1    Hole, M.2
  • 10
    • 85029492434 scopus 로고
    • Types for Dyadic Interaction
    • Best, E, ed, CONCUR 1993, Springer, Heidelberg
    • Honda, K.: Types for Dyadic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509-523. Springer, Heidelberg (1993)
    • (1993) LNCS , vol.715 , pp. 509-523
    • Honda, K.1
  • 11
    • 84947741770 scopus 로고    scopus 로고
    • Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, 1381, pp. 22-138. Springer, Heidelberg (1998)
    • Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 22-138. Springer, Heidelberg (1998)
  • 12
    • 67650133223 scopus 로고    scopus 로고
    • Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273-284. ACM, New York (2008)
    • Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273-284. ACM, New York (2008)
  • 13
    • 49049087949 scopus 로고    scopus 로고
    • Session-Based Distributed Programming in Java
    • Vitek, J, ed, ECOOP 2008, Springer, Heidelberg
    • Hu, R., Yoshida, N., Honda, K.: Session-Based Distributed Programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5142
    • Hu, R.1    Yoshida, N.2    Honda, K.3
  • 14
    • 0032010343 scopus 로고    scopus 로고
    • A Partially Deadlock-Free Typed Process Calculus
    • Kobayashi, N.: A Partially Deadlock-Free Typed Process Calculus. ACM TOPLAS 20(2), 436-482 (1998)
    • (1998) ACM TOPLAS , vol.20 , Issue.2 , pp. 436-482
    • Kobayashi, N.1
  • 15
    • 33749549307 scopus 로고    scopus 로고
    • A New Type System for Deadlock-Free Processes
    • Baier, C, Hermanns, H, eds, CONCUR 2006, Springer, Heidelberg
    • Kobayashi, N.: A New Type System for Deadlock-Free Processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 233-247. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4137 , pp. 233-247
    • Kobayashi, N.1
  • 16
    • 45849148094 scopus 로고    scopus 로고
    • Disciplining Orchestration and Conversation in Service-Oriented Computing. In: SEFM
    • Los Alamitos
    • Lanese, I., Vasconcelos, V.T., Martins, F., Ravara, A.: Disciplining Orchestration and Conversation in Service-Oriented Computing. In: SEFM 2007, pp. 305-314. IEEE Computer Society Press, Los Alamitos (2007)
    • (2007) 305-314. IEEE Computer Society Press , pp. 2007
    • Lanese, I.1    Vasconcelos, V.T.2    Martins, F.3    Ravara, A.4
  • 19
    • 54249125389 scopus 로고    scopus 로고
    • Scribble Project
    • Scribble Project, http://www.scribble.org
  • 22
    • 84947920982 scopus 로고    scopus 로고
    • Graph Types for Monadic Mobile Processes
    • Chandru, V, Vinay, V, eds, FSTTCS 1996, Springer, Heidelberg
    • Yoshida, N.: Graph Types for Monadic Mobile Processes. In: Chandru, V., Vinay, V. (eds.) FSTTCS 1996. LNCS, vol. 1180, pp. 371-386. Springer, Heidelberg (1996)
    • (1996) LNCS , vol.1180 , pp. 371-386
    • Yoshida, N.1
  • 23
    • 34250810712 scopus 로고    scopus 로고
    • Yoshida, N., Vasconcelos, V.T.: Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited. In: SecRet 2006. ENTCS, 171, pp. 73-93. Elsevier, Amsterdam (2007)
    • Yoshida, N., Vasconcelos, V.T.: Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited. In: SecRet 2006. ENTCS, vol. 171, pp. 73-93. Elsevier, Amsterdam (2007)


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