{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:32:55Z","timestamp":1743010375855,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626968"},{"type":"electronic","value":"9783031626975"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62697-5_16","type":"book-chapter","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:23Z","timestamp":1718053283000},"page":"295-313","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Implementing a\u00a0Message-Passing Interpretation of\u00a0the\u00a0Semi-Axiomatic Sequent Calculus (Sax)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3829-7391","authenticated-orcid":false,"given":"Adrian","family":"Francalanza","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9047-061X","authenticated-orcid":false,"given":"Gerard","family":"Tabone","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8279-5817","authenticated-orcid":false,"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,11]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L., Cassar, I., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: Bidirectional runtime enforcement of first-order branching-time properties. Log. Methods Comput. Sci. 19(1) (2023)","DOI":"10.46298\/lmcs-19(1:14)2023"},{"key":"16_CR2","unstructured":"Agha, G.A.: ACTORS - A Model of Concurrent Computation in Distributed Systems. Artificial Intelligence. MIT Press, Cambridge (1990)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Balzer, S., Pfenning, F.: Manifest sharing with session types. Proc. ACM Program. Lang. 1(ICFP), 37:1\u201337:29 (2017)","DOI":"10.1145\/3110281"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-15375-4_16","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L Caires","year":"2010","unstructured":"Caires, L., Pfenning, F.: Session types as intuitionistic linear propositions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 222\u2013236. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15375-4_16"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Caires, L., Toninho, B.: The session abstract machine. In: Weirich, S. (ed.) ESOP 2024. LNCS, vol. 14576, pp. 206\u2013235. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-57262-3_9","DOI":"10.1007\/978-3-031-57262-3_9"},{"key":"16_CR6","unstructured":"Chen, R., Balzer, S., Toninho, B.: Ferrite: a judgmental embedding of session types in rust. In: Ali, K., Vitek, J. (eds.) 36th European Conference on Object-Oriented Programming, ECOOP 2022, 6\u201310 June 2022, Berlin, Germany. LIPIcs, vol. 222, pp. 22:1\u201322:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Crary, K.: Higher-order representation of substructural logics. In: ICFP, pp. 131\u2013142. ACM (2010)","DOI":"10.1145\/1932681.1863565"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Das, A., Balzer, S., Hoffmann, J., Pfenning, F., Santurkar, I.: Resource-aware session types for digital contracts. In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, 21\u201325 June 2021, pp. 1\u201316. IEEE (2021)","DOI":"10.1109\/CSF51468.2021.00004"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Das, A., Pfenning, F.: Rast: a language for resource-aware session types. Log. Methods Comput. Sci. 18(1) (2022)","DOI":"10.46298\/lmcs-18(1:9)2022"},{"key":"16_CR10","unstructured":"DeYoung, H., Pfenning, F., Pruiksma, K.: Semi-axiomatic sequent calculus. In: FSCD. LIPIcs, vol. 167, pp. 29:1\u201329:22. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020)"},{"key":"16_CR11","unstructured":"Effective Go: Effective Go - The Go Programming Language (nd). https:\/\/go.dev\/doc\/effective_go#sharing"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Fowler, S.: An Erlang implementation of multiparty session actors. In: Bartoletti, M., Henrio, L., Knight, S., Vieira, H.T. (eds.) Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. EPTCS, vol. 223, pp. 36\u201350 (2016)","DOI":"10.4204\/EPTCS.223.0"},{"key":"16_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2021.104704","volume":"281","author":"A Francalanza","year":"2021","unstructured":"Francalanza, A.: A theory of monitors. Inf. Comput. 281, 104704 (2021)","journal-title":"Inf. Comput."},{"key":"16_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100636","volume":"119","author":"A Francalanza","year":"2021","unstructured":"Francalanza, A., Cini, C.: Computer says no: verdict explainability for runtime monitors using a local proof system. J. Log. Algebraic Methods Program. 119, 100636 (2021)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"16_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2023.100891","volume":"135","author":"A Francalanza","year":"2023","unstructured":"Francalanza, A., Tabone, G.: Elixirst: a session-based type system for Elixir modules. J. Log. Algebraic Methods Program. 135, 100891 (2023)","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"2\u20133","key":"16_CR16","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"SJ Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Informatica 42(2\u20133), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"key":"16_CR17","unstructured":"Golang GitHub: Golang GitHub issue #22624 (2017). https:\/\/github.com\/golang\/go\/issues\/22624"},{"key":"16_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2021.100731","volume":"124","author":"H Gommerstadt","year":"2022","unstructured":"Gommerstadt, H., Jia, L., Pfenning, F.: Session-typed concurrent contracts. J. Log. Algebraic Methods Program. 124, 100731 (2022)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"16_CR19","unstructured":"Hewitt, C., Bishop, P.B., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: Nilsson, N.J. (ed.) Proceedings of the 3rd International Joint Conference on Artificial Intelligence, Standford, CA, USA, 20\u201323 August 1973, pp. 235\u2013245. William Kaufmann (1973)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume-title":"CONCUR\u201993","author":"K Honda","year":"1993","unstructured":"Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509\u2013523. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57208-2_35"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1\u20139:67 (2016)","DOI":"10.1145\/2827695"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-030-50029-0_8","volume-title":"Coordination Models and Languages","author":"N Lagaillardie","year":"2020","unstructured":"Lagaillardie, N., Neykova, R., Yoshida, N.: Implementing multiparty session types in rust. In: Bliudze, S., Bocchi, L. (eds.) COORDINATION 2020. LNCS, vol. 12134, pp. 127\u2013136. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50029-0_8"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-030-99336-8_16","volume-title":"Programming Languages and Systems","author":"Z Lakhani","year":"2022","unstructured":"Lakhani, Z., Das, A., DeYoung, H., Mordido, A., Pfenning, F.: Polarized subtyping. In: Sergey, I. (ed.) ESOP 2022. LNCS, vol. 13240, pp. 431\u2013461. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99336-8_16"},{"key":"16_CR24","unstructured":"Neykova, R., Yoshida, N.: Multiparty session actors. Log. Methods Comput. Sci. 13(1) (2017)"},{"key":"16_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000289","volume":"27","author":"L Padovani","year":"2017","unstructured":"Padovani, L.: A simple library implementation of binary sessions. J. Funct. Program. 27, e4 (2017)","journal-title":"J. Funct. Program."},{"issue":"5","key":"16_CR26","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1017\/S0960129503004043","volume":"13","author":"C Palamidessi","year":"2003","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous pi-calculi. Math. Struct. Comput. Sci. 13(5), 685\u2013719 (2003)","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR27","unstructured":"Pfenning, F.: Lecture notes on Semi-Axiomatic Sequent Calculus (2023). Course notes for Substructural Logics (15-836). Accompanying tool available from https:\/\/www.cs.cmu.edu\/~fp\/courses\/15836-f23\/resources.html"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-46678-0_1","volume-title":"Foundations of Software Science and Computation Structures","author":"F Pfenning","year":"2015","unstructured":"Pfenning, F., Griffith, D.: Polarized substructural session types. In: Pitts, A. (ed.) FoSSaCS 2015. LNCS, vol. 9034, pp. 3\u201322. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46678-0_1"},{"key":"16_CR29","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-031-35361-1_1","volume-title":"Coordination Models and Languages","author":"F Pfenning","year":"2023","unstructured":"Pfenning, F., Pruiksma, K.: Relating message passing and shared memory, proof-theoretically. In: Jongmans, S., Lopes, A. (eds.) COORDINATION 2023. LNCS, vol. 13908, pp. 3\u201327. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35361-1_1"},{"key":"16_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100637","volume":"120","author":"K Pruiksma","year":"2021","unstructured":"Pruiksma, K., Pfenning, F.: A message-passing interpretation of adjoint logic. J. Log. Algebraic Methods Program. 120, 100637 (2021)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"16_CR31","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796822000016","volume":"32","author":"K Pruiksma","year":"2022","unstructured":"Pruiksma, K., Pfenning, F.: Back to futures. J. Funct. Program. 32, e6 (2022)","journal-title":"J. Funct. Program."},{"issue":"OOPSLA2","key":"16_CR32","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3622810","volume":"7","author":"C Sano","year":"2023","unstructured":"Sano, C., Kavanagh, R., Pientka, B.: Mechanizing session-types using a structural view: enforcing linearity without linearity. Proc. ACM Program. Lang. 7(OOPSLA2), 374\u2013399 (2023)","journal-title":"Proc. ACM Program. Lang."},{"key":"16_CR33","unstructured":"Scalas, A., Yoshida, N.: Lightweight session programming in scala. In: Krishnamurthi, S., Lerner, B.S. (eds.) 30th European Conference on Object-Oriented Programming, ECOOP 2016, 18\u201322 July 2016, Rome, Italy. LIPIcs, vol.\u00a056, pp. 21:1\u201321:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2016)"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Silva, M.E.P., Florido, M., Pfenning, F.: Non-blocking concurrent imperative programming with session types. In: Cervesato, I., Fern\u00e1ndez, M. (eds.) Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. EPTCS, vol. 238, pp. 64\u201372 (2016)","DOI":"10.4204\/EPTCS.238.7"},{"key":"16_CR35","unstructured":"Tabone, G.: Grits: Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax) (artefact for Coordination\u201924) (2024). https:\/\/doi.org\/10.5281\/zenodo.10837897, https:\/\/github.com\/gertab\/Grits"},{"key":"16_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-37036-6_20","volume-title":"Programming Languages and Systems","author":"B Toninho","year":"2013","unstructured":"Toninho, B., Caires, L., Pfenning, F.: Higher-order processes, functions, and sessions: a monadic integration. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 350\u2013369. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37036-6_20"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"Westrick, S., Fluet, M., Rainey, M., Acar, U.A.: Automatic parallelism management. In: Proceedings of the ACM on Programming Languages, vol.\u00a08, pp. 1118\u20131149 (2024)","DOI":"10.1145\/3632880"},{"key":"16_CR38","doi-asserted-by":"crossref","unstructured":"Willsey, M., Prabhu, R., Pfenning, F.: Design and implementation of Concurrent C0. In: Fourth International Workshop on Linearity, pp. 73\u201382. EPTCS 238 (2016)","DOI":"10.4204\/EPTCS.238.8"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62697-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:03:21Z","timestamp":1718053401000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62697-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626968","9783031626975"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62697-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}