Multiparty session types meet communicating automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7211 LNCS, Issue , 2012, Pages 194-213

  Deniélou, Pierre Malo ^a   Yoshida, Nobuko ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY NUMBER; BOUNDEDNESS; COMMUNICATING AUTOMATA; COMMUNICATING FINITE STATE MACHINES; COMMUNICATION ERRORS; DISTRIBUTED PROCESS; FIFO CHANNELS; JOINING PROTOCOL; LIVENESS; MOBILE PROCESS; MULTIPARTY SESSIONS; POLYNOMIAL-TIME; TWO MACHINES; TYPECHECKING; TYPING SYSTEMS;

COMMUNICATION; POLYNOMIAL APPROXIMATION;

AUTOMATA THEORY;

EID: 84859141872     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28869-2_10     Document Type: Conference Paper

References (24)

1. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: POPL 2012. ACM (to appear, 2012)
2. Basu, S., Bultan, T., Ouederni, M.: Synchronizability for Verification of Asynchronously Communicating Systems. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol. 7148, pp. 56-71. Springer, Heidelberg (2012)
3. Bettini,L.,Coppo,M.,D'Antoni,L.,DeLuca,M.,Dezani-Ciancaglini,M.,Yoshida, N.: Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008)
4. Business Process Model and Notation, http://www.bpmn.org
5. Brand,D.,Zafiropulo,P.:On communicating finite-state machines. J. ACM 30, 323-342(1983)
6. Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On Global Types and Multi-party Sessions. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol. 6722, pp. 1-28. Springer, Heidelberg (2011)
7. Cécé, G., Finkel, A.: Verification of programs with half-duplex communication. Inf. Comput. 202(2), 166-190 (2005)
8. Corin, R., Deniélou, P.M., Fournet, C., Bhargavan, K., Leifer, J.: Secure implementations for typed session abstractions. In: CSF, pp. 170-186 (2007)
9. Deniélou, P.M., Yoshida, N.: Buffered Communication Analysis in Distributed Multiparty Sessions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 343- 357. Springer, Heidelberg (2010)
10. Deniélou, P.M., Yoshida, N.: Dynamic multirole session types. In: POPL, pp. 435-446. ACM (2011), full version, Prototype at, http://www.doc.ic.ac. uk/~pmalo/dynamic
11. Genest,B., Muscholl,A.,Peled,D.: Message Sequence Charts. In:Desel, J.,Reisig,W.,Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 537-558. Springer, Heidelberg (2004)
12. Gouda, M., Manning, E., Yu, Y.: On the progress of communication between two finite state machines. Information and Control 63, 200-216 (1984)
13. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122-138. Springer, Heidelberg (1998)
14. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273-284. ACM (2008)
15. Kouzapas, D., Yoshida, N., Honda, K.: On Asynchronous Session Semantics. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol. 6722, pp. 228-243. Springer, Heidelberg (2011)
16. Lozes, E., Villard, J.: Reliable contracts for unreliable half-duplex communications. In: WS-FM. Springer, Heidelberg (2011) (to appear)
17. Ng, N., Yoshida, N., Pernet, O., Hu, R., Kryftis, Y.: Safe Parallel Programming with Session Java. In: De Meuter,W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 110-126. Springer, Heidelberg (2011)
18. Online Appendix, http://www.doc.ic.ac.uk/~malo/msa/
19. Savara JBoss Project, http://www.jboss.org/savara
20. Scribble JBoss Project, http://www.jboss.org/scribble
21. Sivaramakrishnan, K.C., Nagaraj, K., Ziarek, L., Eugster, P.: Efficient Session Type Guided Distributed Interaction. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol. 6116, pp. 152-167. Springer, Heidelberg (2010)
22. Swamy, N., Chen, J., Fournet, C., Strub, P.Y., Bharagavan, K., Yang, J.: Secure distributed programming with value-dependent types. In: ICFP, pp. 266-278. ACM (2011)
23. Villard, J.: Heaps and Hops. Ph.D. thesis, ENS Cachan (2011)
24. Yoshida, N., Deniélou, P.M., Bejleri, A., Hu, R.: ParameterisedMultiparty Session Types. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 128-145. Springer, Heidelberg (2010)