{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T01:18:53Z","timestamp":1778635133606,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642041662","type":"print"},{"value":"9783642041679","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04167-9_12","type":"book-chapter","created":{"date-parts":[[2009,8,19]],"date-time":"2009-08-19T06:45:02Z","timestamp":1250664302000},"page":"226-246","source":"Crossref","is-referenced-by-count":14,"title":["Session-Based Compilation Framework for Multicore Programming"],"prefix":"10.1007","author":[{"given":"Nobuko","family":"Yoshida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasco","family":"Vasconcelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Paulino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kohei","family":"Honda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/PMMP.1993.315548","volume-title":"Proceedings of Programming Models for Massively Parallel Computers","author":"B. Alpern","year":"1993","unstructured":"Alpern, B., Carter, L., Ferrante, J.: Modeling parallel computers as memory hierarchies. In: Proceedings of Programming Models for Massively Parallel Computers, pp. 116\u2013123. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/2.976921","volume":"35","author":"L. Benini","year":"2002","unstructured":"Benini, L., De Micheli, G.: Networks on chip: a new SoC paradigm. IEEE Computer\u00a035, 1 (2002)","journal-title":"IEEE Computer"},{"key":"12_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)"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/78.485935","volume":"44","author":"G. Bilsen","year":"1996","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.A.: Cyclo-static dataflow. IEEE Transactions on Signal Processing\u00a044(2), 397\u2013408 (1996)","journal-title":"IEEE Transactions on Signal Processing"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-78663-4_17","volume-title":"Trustworthy Global Computing","author":"E. Bonelli","year":"2008","unstructured":"Bonelli, E., Compagnoni, A.B.: Multipoint Session Types for a Distributed Calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol.\u00a04912, pp. 240\u2013256. Springer, Heidelberg (2008)"},{"key":"12_CR6","first-page":"519","volume-title":"OOPSLA 2005","author":"P. Charles","year":"2005","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA 2005, pp. 519\u2013538. ACM Press, New York (2005)"},{"issue":"7","key":"12_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/173284.155333","volume":"28","author":"D. Culler","year":"1993","unstructured":"Culler, D., Karp, R., Patterson, D., Sahay, A., Schauser, K.E., Santos, E., Subramonian, R., von Eicken, T.: Logp: towards a realistic model of parallel computation. SIGPLAN Not.\u00a028(7), 1\u201312 (1993)","journal-title":"SIGPLAN Not."},{"key":"12_CR8","volume-title":"Parallel Computer Architecture: A Hardware\/Software Approach","author":"D.E. Culler","year":"1997","unstructured":"Culler, D.E., Gupta, A., Singh, J.P.: Parallel Computer Architecture: A Hardware\/Software Approach. Morgan Kaufmann Publishers Inc., San Francisco (1997)"},{"key":"12_CR9","first-page":"3","volume-title":"NOCS 2007","author":"W.J. Dally","year":"2007","unstructured":"Dally, W.J.: Enabling technology for on-chip interconnection networks. In: NOCS 2007, p. 3. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"12_CR10","first-page":"684","volume-title":"DAC 2001","author":"W.J. Dally","year":"2001","unstructured":"Dally, W.J., Towles, B.: Route packets, not wires: On-chip interconnection networks. In: DAC 2001, pp. 684\u2013689. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"12_CR11","first-page":"177","volume-title":"EuroSys 2006","author":"M. F\u00e4hndrich","year":"2006","unstructured":"F\u00e4hndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in singularity OS. In: EuroSys 2006, pp. 177\u2013190. ACM Press, New York (2006)"},{"key":"12_CR12","first-page":"83","volume-title":"SC 2006","author":"K. Fatahalian","year":"2006","unstructured":"Fatahalian, K., Horn, D.R., Knight, T.J., Leem, L., Houston, M., Park, J.Y., Erez, M., Ren, M., Aiken, A., Dally, W.J., Hanrahan, P.: Sequoia: Programming the Memory Hierarchy. In: SC 2006, p. 83. ACM Press, New York (2006)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Gelsinger, P., Gargini, P., Parker, G., Yu, A.: Microprocessors circa 2000. In: IEEE SPectrum, pp. 43\u201347 (1989)","DOI":"10.1109\/6.40684"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10766-007-0035-4","volume":"35","author":"M. Gschwind","year":"2007","unstructured":"Gschwind, M.: The Cell Broadband Engine: Exploiting multiple levels of parallelism in a chip multiprocessor. International Journal of Parallel Programming\u00a035(3), 233\u2013262 (2007)","journal-title":"International Journal of Parallel Programming"},{"key":"12_CR15","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI, pp. 235\u2013245 (1973)"},{"issue":"1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/357980.358021","volume":"26","author":"C.A.R. Hoare","year":"1983","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM\u00a026(1), 100\u2013106 (1983)","journal-title":"Commun. ACM"},{"key":"12_CR17","volume-title":"Communicating Sequential Processes","author":"T. Hoare","year":"1985","unstructured":"Hoare, T.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"12_CR18","series-title":"ENTCS","volume-title":"PLACES 2008","author":"K. Honda","year":"2009","unstructured":"Honda, K., Vasconcelos, V., Yoshida, N.: Type-directed compilation for multicore programming. In: PLACES 2008. ENTCS. Elsevier, Amsterdam (2009)"},{"key":"12_CR19","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":"12_CR20","first-page":"273","volume-title":"POPL 2008","author":"K. Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273\u2013284. ACM Press, New York (2008)"},{"key":"12_CR21","unstructured":"IBM. ALF double buffering, \n                    \n                      http:\/\/www.ibm.com\/developerworks\/blogs\/page\/powerarchitecture?entry=ibomb_alf_sdk30_5"},{"key":"12_CR22","unstructured":"IBM. IBM BladeCenter QS21, \n                    \n                      http:\/\/www-03.ibm.com\/systems\/bladecenter\/hardware\/servers\/qs21\/index.html"},{"key":"12_CR23","unstructured":"IBM. Cell broadband engine programming tutorial version 2.0 (2006)"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Kapasi, U.J., Dally, W.J., Rixner, S., Owens, J.D., Khailany, B.: The imagine stream processor. In: ICCD 2002, pp. 282\u2013288 (2002)","DOI":"10.1109\/ICCD.2002.1106783"},{"issue":"2","key":"12_CR25","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MM.2003.1196116","volume":"23","author":"C.N. Keltcher","year":"2003","unstructured":"Keltcher, C.N., McGrath, K.J., Ahmed, A., Conway, P.: The AMD Opteron processor for multiprocessor servers. IEEE Micro\u00a023(2), 66\u201376 (2003)","journal-title":"IEEE Micro"},{"issue":"3","key":"12_CR26","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MM.2006.49","volume":"26","author":"M. Kistler","year":"2006","unstructured":"Kistler, M., Perrone, M., Petrini, F.: Cell multiprocessor communication network: Built for speed. IEEE Micro\u00a026(3), 10\u201323 (2006)","journal-title":"IEEE Micro"},{"issue":"2","key":"12_CR27","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/MM.2005.35","volume":"25","author":"P. Kongetira","year":"2005","unstructured":"Kongetira, P., Aingaran, K., Olukotun, K.: Niagara: A 32-way multithreaded Sparc processor. IEEE Micro\u00a025(2), 21\u201329 (2005)","journal-title":"IEEE Micro"},{"key":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-73589-2_15","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"C.-k. Lin","year":"2007","unstructured":"Lin, C.-k., Black, A.P.: DirectFlow: A domain-specific language for information-flow systems. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 299\u2013322. Springer, Heidelberg (2007)"},{"key":"12_CR29","first-page":"140","volume-title":"POPL 1976","author":"B. David","year":"1976","unstructured":"David, B.: Loveman. Program improvement by source to source transformation. In: POPL 1976, pp. 140\u2013152. ACM Press, New York (1976)"},{"key":"12_CR30","first-page":"157","volume-title":"Logic Colloquium, Bristol 1973","author":"R. Milner","year":"1975","unstructured":"Milner, R.: Processes, a mathematical model of computing agents. In: Logic Colloquium, Bristol 1973, pp. 157\u2013174. North Holland, Amsterdam (1975)"},{"key":"12_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0032030","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1990","unstructured":"Milner, R.: Functions as processes. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 167\u2013180. Springer, Heidelberg (1990)"},{"issue":"3","key":"12_CR32","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/319301.319345","volume":"21","author":"G. Morrisett","year":"1999","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N.: From System F to typed assembly language. ACM Trans. Program. Lang. Syst.\u00a021(3), 527\u2013568 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/978-3-642-00590-9_23","volume-title":"ESOP 2009","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 2000. LNCS, vol.\u00a05502, pp. 316\u2013332. Springer, Heidelberg (2009)"},{"key":"12_CR34","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/237090.237140","volume-title":"ASPLOS-VII","author":"K. Olukotun","year":"1996","unstructured":"Olukotun, K., Nayfeh, B.A., Hammond, L., Wilson, K., Chang, K.: The case for a single-chip multiprocessor. In: ASPLOS-VII, pp. 2\u201311. ACM Press, New York (1996)"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Pham, D., Asano, S., Bolliger, M., Day, M.N., Hofstee, H.P., Johns, C., Kahle, J., Kameyama, A., Keaty, J., Masubuchi, Y., Riley, M., Shippy, D., Stasiak, D., Suzuoki, M., Wang, M., Warnock, J., Weitzel, S., Wendel, D., Yamazaki, T., Yazawa, K.: The design and implementation of a first-generation CELL processor. In: ISSCC 2005, vol.\u00a01, pp. 184\u2013592 (2005)","DOI":"10.1109\/ISSCC.2005.1493930"},{"key":"12_CR36","first-page":"2","volume-title":"MICRO 1999","author":"F.J. Pollack","year":"1999","unstructured":"Pollack, F.J.: New microarchitecture challenges in the coming generations of CMOS process technologies. In: MICRO 1999, p. 2. IEEE Computer Society, Los Alamitos (1999)"},{"key":"12_CR37","volume-title":"IPDPS 2008","author":"J.C. Sancho","year":"2008","unstructured":"Sancho, J.C., Kerbyson, D.J.: Analysis of Double Buffering on two Different Multicore Architectures: Quad-core Opteron and the Cell-BE. In: IPDPS 2008. IEEE, Los Alamitos (2008)"},{"key":"12_CR38","volume-title":"Applied Cryptography: Protocols, Algorithms, and Source Code in C","author":"B. Schneier","year":"1993","unstructured":"Schneier, B.: Applied Cryptography: Protocols, Algorithms, and Source Code in C. John Wiley & Sons, Inc., Chichester (1993)"},{"key":"12_CR39","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 Press, New York (2007)"},{"key":"12_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-70592-5_6","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S. Srinivasan","year":"2008","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: Isolation-typed actors for java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 104\u2013128. Springer, Heidelberg (2008)"},{"key":"12_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"PARLE \u201994 Parallel Architectures and Languages Europe","author":"K. Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol.\u00a0817, pp. 398\u2013413. Springer, Heidelberg (1994)"},{"key":"12_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-45937-5_14","volume-title":"Compiler Construction","author":"W. Thies","year":"2002","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.: Streamit: A language for streaming applications. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 179\u2013196. Springer, Heidelberg (2002)"},{"key":"12_CR43","first-page":"224","volume-title":"PPoPP 2005","author":"W. Thies","year":"2005","unstructured":"Thies, W., Karczmarek, M., Sermulins, J., Rabbah, R., Amarasinghe, S.: Teleport messaging for distributed stream programs. In: PPoPP 2005, pp. 224\u2013235. ACM Press, New York (2005)"},{"issue":"1","key":"12_CR44","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/JSSC.2007.910957","volume":"43","author":"S.R. Vangal","year":"2008","unstructured":"Vangal, S.R., Howard, J., Ruhl, G., Dighe, S., Wilson, H., Tschanz, J., Finan, D., Singh, A., Jacob, T., Jain, S., Erraguntla, V., Roberts, C., Hoskote, Y., Borkar, N., Borkar, S.: An 80-Tile Sub-100-W TeraFLOPS Processor in 65-nm CMOS. IEEE Journal of Solid-State Circuits\u00a043(1), 29\u201341 (2008)","journal-title":"IEEE Journal of Solid-State Circuits"},{"key":"12_CR45","unstructured":"Vasconcelos, V.T., Martins, F.: A multithreaded typed assembly language. In: Proceedings of TV 2006 - Multithreading in Hardware and Software: Formal Approaches to Design and Verification (2006)"},{"key":"12_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/11423348_10","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"P.H. Welch","year":"2005","unstructured":"Welch, P.H., Barnes, F.R.M.: Communicating Mobile Processes: introducing occam-pi. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 175\u2013210. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04167-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T08:19:25Z","timestamp":1552119565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04167-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041662","9783642041679"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04167-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}