-
1
-
-
45749143931
-
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
-
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
-
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
-
-
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
-
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
-
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
-
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
-
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
-
-
Scribble Project
-
Scribble Project, http://www.scribble.org
-
-
-
-
22
-
-
84947920982
-
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
-
-
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)
-
-
-
|