{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T23:27:56Z","timestamp":1784417276289,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642305603","type":"print"},{"value":"9783642305610","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30561-0_15","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T22:31:43Z","timestamp":1337985103000},"page":"202-218","source":"Crossref","is-referenced-by-count":45,"title":["Multiparty Session C: Safe Parallel Programming with Message Optimisation"],"prefix":"10.1007","author":[{"given":"Nicholas","family":"Ng","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kohei","family":"Honda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Jacobi and Gauss-Seidel Iteration, http:\/\/math.fullerton.edu\/mathews\/n2003\/GaussSeidelMod.html"},{"key":"15_CR2","unstructured":"N-body algorithm using pipeline, http:\/\/www.mcs.anl.gov\/research\/projects\/mpi\/usingmpi\/examples\/advmsg\/nbodypipe_c.htm"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 418\u2013433. Springer, Heidelberg (2008)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L. Bocchi","year":"2010","unstructured":"Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 162\u2013176. Springer, Heidelberg (2010)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Carter, J., Gardner, W.B., Grewal, G.: The Pilot approach to cluster programming in C. In: IPDPSW, pp. 1\u20138. IEEE (2010)","DOI":"10.1109\/IPDPSW.2010.5470772"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Casanova, H., Legrand, A., Robert, Y.: Parallel Algorithms. Chapman & Hall (July 2008)","DOI":"10.1201\/9781584889465"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Danalis, A., et al.: MPI-aware compiler optimizations for improving communication-computation overlap. In: ICS 2009, pp. 316\u2013325 (2009)","DOI":"10.1145\/1542275.1542321"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-15375-4_24","volume-title":"CONCUR 2010 - Concurrency Theory","author":"P.M. Deni\u00e9lou","year":"2010","unstructured":"Deni\u00e9lou, P.M., Yoshida, N.: Buffered Communication Analysis in Distributed Multiparty Sessions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 343\u2013357. Springer, Heidelberg (2010)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.M., Yoshida, N.: Dynamic multirole session types. In: POPL, pp. 435\u2013446. ACM (2011)","DOI":"10.1145\/1925844.1926435"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28869-2_10","volume-title":"Programming Languages and Systems","author":"P.M. Deni\u00e9lou","year":"2012","unstructured":"Deni\u00e9lou, P.M., Yoshida, N.: Multiparty Session Types Meet Communicating Automata. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol.\u00a07211, pp. 194\u2013213. Springer, Heidelberg (2012)"},{"key":"15_CR11","unstructured":"Dwarf Mine homepage, http:\/\/view.eecs.berkeley.edu\/wiki\/Dwarf_Mine"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Friedley, A., Lumsdaine, A.: Communication Optimization Beyond MPI. In: IPDPSW and Phd Forum. IEEE (2011)","DOI":"10.1109\/IPDPS.2011.366"},{"key":"15_CR13","unstructured":"Online Appendix, http:\/\/www.doc.ic.ac.uk\/~cn06\/pub\/2012\/sessionc\/"},{"key":"15_CR14","unstructured":"Grama, A., Karypis, G., Kumar, V., Gupta, A.: Introduction to Parallel Computing, 2nd edn. Addison Wesley (January 2003)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Gropp, W., Lusk, E., Skjellum, A.: Using MPI: Portable Parallel Programming with the Message-Passing Interface. MIT Press (1999)","DOI":"10.7551\/mitpress\/7056.001.0001"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-19056-8_4","volume-title":"Distributed Computing and Internet Technology","author":"K. Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling Interactions with a Formal Foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol.\u00a06536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"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.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL 2008, vol. 5201, p. 273 (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-14107-2_16","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"R. Hu","year":"2010","unstructured":"Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-Safe Eventful Sessions in Java. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 329\u2013353. Springer, Heidelberg (2010)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-540-70592-5_22","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"R. Hu","year":"2008","unstructured":"Hu, R., Yoshida, N., Honda, K.: Session-Based Distributed Programming in Java. In: Ryan, M. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"15_CR21","unstructured":"Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., Wang, Y.: Cyclone: A Safe Dialect of C. In: Usenix Annual Technical Conference, Monterey, CA (2002)"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.S.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: CGO 2004, pp. 75\u201388 (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Leighton, F.T.: Introduction to parallel algorithms and architectures: arrays, trees, hypercubes. Morgan Kaufmann (1991)","DOI":"10.1016\/B978-1-4832-0772-8.50005-4"},{"key":"15_CR24","unstructured":"Metis and parmetis, glaros.dtc.umn.edu\/gkhome\/views\/metis"},{"key":"15_CR25","unstructured":"Mostrous, D.: Session Types in Concurrent Calculi: Higher-Order Processes and Objects. Ph.D. thesis, Imperial College London (2009)"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-642-00590-9_23","volume-title":"Programming Languages and Systems","author":"D. Mostrous","year":"2009","unstructured":"Mostrous, D., Yoshida, N., Honda, K.: Global Principal Typing in Partially Commutative Asynchronous Sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 316\u2013332. Springer, Heidelberg (2009)"},{"key":"15_CR27","unstructured":"Message Passing Interface, http:\/\/www.mcs.anl.gov\/research\/projects\/mpi\/"},{"key":"15_CR28","unstructured":"MPJ Express homepage, http:\/\/mpj-express.org\/"},{"key":"15_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-21464-6_8","volume-title":"Coordination Models and Languages","author":"N. Ng","year":"2011","unstructured":"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.\u00a06721, pp. 110\u2013126. Springer, Heidelberg (2011)"},{"key":"15_CR30","unstructured":"Occam-pi homepage, http:\/\/www.occam-pi.org\/"},{"key":"15_CR31","unstructured":"Scribble homepage, http:\/\/www.jboss.org\/scribble"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Siegel, S.F., Zirkel, T.K.: Automatic formal verification of MPI-based parallel programs. In: PPoPP 2011, p. 309. ACM Press (February 2011)","DOI":"10.1145\/2038037.1941603"},{"key":"15_CR33","unstructured":"Villard, J.: Heaps and Hops. Ph.D. thesis, ENS Cachan (2011)"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Vo, A., Vakkalanka, S., DeLisi, M., Gopalakrishnan, G., Kirby, R.M., Thakur, R.: Formal verification of practical MPI programs. In: PPoPP 2009, pp. 261\u2013270 (2009)","DOI":"10.1145\/1594835.1504214"},{"key":"15_CR35","doi-asserted-by":"crossref","unstructured":"Vo, A., et al.: A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. In: SC 2010, pp. 1\u201310. IEEE (2010)","DOI":"10.1109\/SC.2010.7"},{"key":"15_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-12032-9_10","volume-title":"Foundations of Software Science and Computational Structures","author":"N. Yoshida","year":"2010","unstructured":"Yoshida, N., Deni\u00e9lou, P.-M., Bejleri, A., Hu, R.: Parameterised Multiparty Session Types. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 128\u2013145. Springer, Heidelberg (2010)"},{"key":"15_CR37","unstructured":"ZeroMQ homepage, http:\/\/www.zeromq.org\/"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30561-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T21:42:37Z","timestamp":1743198157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30561-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305603","9783642305610"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30561-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}