{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T23:28:01Z","timestamp":1784417281465,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642214639","type":"print"},{"value":"9783642214646","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21464-6_8","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T06:55:55Z","timestamp":1307429755000},"page":"110-126","source":"Crossref","is-referenced-by-count":7,"title":["Safe Parallel Programming with Session Java"],"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":"Olivier","family":"Pernet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raymond","family":"Hu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yiannos","family":"Kryftis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Bejleri, A., Hu, R., Yoshida, N.: Session-Based Programming for Parallel Algorithms. In: PLACES, EPTCS (2009)","DOI":"10.4204\/EPTCS.17.2"},{"key":"8_CR2","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":"8_CR3","doi-asserted-by":"crossref","DOI":"10.1201\/9781584889465","volume-title":"Parallel Algorithms","author":"H. Casanova","year":"2008","unstructured":"Casanova, H., Legrand, A., Robert, Y.: Parallel Algorithms. Chapman & Hall, Boca Raton (2008)"},{"key":"8_CR4","first-page":"435","volume-title":"POPL 2011","author":"P.-M. Deni\u00e9lou","year":"2011","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Dynamic Multirole Session Types. In: POPL 2011, pp. 435\u2013446. ACM, New York (2011)"},{"key":"8_CR5","unstructured":"On-line appendix, http:\/\/www.doc.ic.ac.uk\/~cn06\/pub\/2011\/sj_parallel\/"},{"key":"8_CR6","first-page":"299","volume-title":"POPL 2010","author":"S.J. Gay","year":"2010","unstructured":"Gay, S.J., Vasconcelos, V.T., Ravara, A., Gesbert, N., Caldeira, A.Z.: Modular Session Types for Distributed Object-Oriented Programming. In: POPL 2010, pp. 299\u2013312. ACM, New York (2010)"},{"key":"8_CR7","volume-title":"Using MPI: Portable Parallel Programming with the Message-Passing Interface","author":"W. Gropp","year":"1999","unstructured":"Gropp, W., Lusk, E., Skjellum, A.: Using MPI: Portable Parallel Programming with the Message-Passing Interface. MIT Press, Cambridge (1999)"},{"key":"8_CR8","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":"8_CR9","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/1328438.1328472","volume-title":"POPL","author":"K. Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL, pp. 273\u2013284. ACM, New York (2008)"},{"key":"8_CR10","unstructured":"Hu, R.: Structured, Safe and High-level Communications Programming with Session Types. PhD thesis, Imperial College London (2010)"},{"key":"8_CR11","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":"8_CR12","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: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"8_CR13","unstructured":"Message Passing Interface, http:\/\/www.mcs.anl.gov\/research\/projects\/mpi\/"},{"key":"8_CR14","unstructured":"MPJ Express homepage, http:\/\/mpj-express.org\/"},{"key":"8_CR15","unstructured":"Ng, N.: High Performance Parallel Design based on Session Programming. MEng thesis, Department of Computing, Imperial College London (2010)"},{"issue":"6","key":"8_CR16","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1016\/j.jpdc.2009.02.006","volume":"69","author":"A. Shafi","year":"2009","unstructured":"Shafi, A., Carpenter, B., Baker, M.: Nested Parallelism for Multi-core HPC Systems using Java. Journal of Parallel and Distributed Computing\u00a069(6), 532\u2013545 (2009)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-13414-2_11","volume-title":"Coordination Models and Languages","author":"K.C. Sivaramakrishnan","year":"2010","unstructured":"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.\u00a06116, pp. 152\u2013167. Springer, Heidelberg (2010)"},{"key":"8_CR18","first-page":"211","volume-title":"OOPSLA 2007","author":"J.H. Spring","year":"2007","unstructured":"Spring, J.H., Privat, J., Guerraoui, R., Vitek, J.: StreamFlex: High-Throughput Stream Programming in Java. In: OOPSLA 2007, pp. 211\u2013228. ACM, New York (2007)"},{"key":"8_CR19","first-page":"261","volume-title":"PPoPP 2009","author":"A. Vo","year":"2009","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. ACM, New York (2009)"},{"key":"8_CR20","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, C.-H.L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 128\u2013145. Springer, Heidelberg (2010)"},{"issue":"4","key":"8_CR21","first-page":"73","volume":"171","author":"N. Yoshida","year":"2007","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. ENTCS\u00a0171(4), 73\u201393 (2007)","journal-title":"ENTCS"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21464-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T07:08:25Z","timestamp":1686121705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21464-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214639","9783642214646"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21464-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}