Registro:

Referencias:

• Basu, S., Bultan, T., Ouederni, M., Deciding choreography realizability (2012) POPL
• Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N., Global progress in dynamically interleaved multiparty sessions (2008) LNCS, 5201, pp. 418-433. , van Breugel, F., Chechik, M. (eds.) CONCUR 2008. Springer, Heidelberg
• Bocchi, L., Melgratti, H., Tuosto, E., (2014), http://publicaciones.dc.uba.ar/Publications/2014/BMT14c/, Extended version of this paper; Bravetti, M., Zavattaro, G., A theory of contracts for strong service compliance (2009) MSCS, 19 (3)
• Butler, M., Postel, J., Chase, D., Goldberger, J., Reynoldsa, J., (1985) Post Office Protocol, , http://tools.ietf.org/html/rfc937, version 2. RFC 918 February
• Caires, L., Vieira, H.T., Conversation types (2009) LNCS, 5502, pp. 285-300. , Castagna, G. (ed.) ESOP 2009. Springer, Heidelberg
• Castagna, G., Dezani-Ciancaglini, M., Padovani, L., On global types and multi-party session (2012) LMCS, 8 (1)
• Castagna, G., Padovani, L., Contracts for mobile processes (2009) LNCS, 5710, pp. 11-228. , Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. Springer, Heidelberg
• Chen, T.-C., Honda, K., Specifying stateful asynchronous properties for distributed programs (2012) LNCS, 7454, pp. 209-224. , Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. Springer, Heidelberg
• Crocker, D., (1982) Standard for the Format of Arpa Internet Text Messages, , www.ietf.org/rfc/rfc0822.txt, RFC 822 February
• Dezani-Ciancaglini, M., De'Liguoro, U., Sessions and session types: An overview (2010) LNCS, 6194, pp. 1-28. , Laneve, C., Su, J. (eds.) WS-FM 2009. Springer, Heidelberg
• Fu, X., Bultan, T., Su, J., Realizability of conversation protocols with message contents (2005) Int. J. Web Service Res., 2 (4), pp. 68-93
• Gay, S., Hole, M., Subtyping for Session Types in the Pi-Calculus (2005) Acta Inf., 42 (2-3), pp. 191-225
• Honda, K., Yoshida, N., Carbone, M., Multiparty asynchronous session types (2008) POPL
• Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., (2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217; Lamport, L., Time, clocks, and the ordering of events in a distributed system (1978) CACM, 21 (7), pp. 558-564
• Lanese, I., Guidi, C., Montesi, F., Zavattaro, G., Bridging the gap between interaction-and process-oriented choreographies (2008) SEFM
• Lange, J., Tuosto, E., Synthesising choreographies from local session types (2012) LNCS, 7454, pp. 225-239. , Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. Springer, Heidelberg
• Lohmann, N., Wolf, K., Decidability results for choreography realization (2011) LNCS, 7084, pp. 92-107. , Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) Service Oriented Computing. Springer, Heidelberg
• Milner, R., (1989) Communication and Concurrency, , Prentice Hall
• Padovani, L., Fair subtyping for multi-party session types (2011) LNCS, 6721, pp. 127-141. , De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. Springer, Heidelberg
• Salaün, G., Bultan, T., Realizability of choreographies using process algebra encodings (2009) Integrated Formal Methods
• Su, J., Bultan, T., Fu, X., Zhao, X., Towards a theory of Web service choreographies (2008) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4937 LNCS, pp. 1-16. , DOI 10.1007/978-3-540-79230-7-1, Web Services and Formal Methods - 4th International Workshop, WS-FM 2007, ProceedingsA4 - CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------