A message-passing interpretation of adjoint logic
We present a system of session types based on adjoint logic which generalizes standard binary session types. Our system allows us to uniformly capture several new behaviors in the space of asynchronous message-passing communication, including multicast, where a process sends a single message to mult...
Saved in:
| Published in | Journal of logical and algebraic methods in programming Vol. 120; p. 100637 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Inc
01.04.2021
|
| Online Access | Get full text |
| ISSN | 2352-2208 |
| DOI | 10.1016/j.jlamp.2020.100637 |
Cover
Loading…
| Abstract | We present a system of session types based on adjoint logic which generalizes standard binary session types. Our system allows us to uniformly capture several new behaviors in the space of asynchronous message-passing communication, including multicast, where a process sends a single message to multiple clients, replicable services, which have multiple clients and replicate themselves on-demand to handle requests from those clients, and cancellation, where a process discards a channel without communicating along it. We provide session fidelity and deadlock-freedom results for this system, from which we then derive a logically justified form of garbage collection. |
|---|---|
| AbstractList | We present a system of session types based on adjoint logic which generalizes standard binary session types. Our system allows us to uniformly capture several new behaviors in the space of asynchronous message-passing communication, including multicast, where a process sends a single message to multiple clients, replicable services, which have multiple clients and replicate themselves on-demand to handle requests from those clients, and cancellation, where a process discards a channel without communicating along it. We provide session fidelity and deadlock-freedom results for this system, from which we then derive a logically justified form of garbage collection. |
| ArticleNumber | 100637 |
| Author | Pruiksma, Klaas Pfenning, Frank |
| Author_xml | – sequence: 1 givenname: Klaas surname: Pruiksma fullname: Pruiksma, Klaas email: kpruiksm@cs.cmu.edu – sequence: 2 givenname: Frank surname: Pfenning fullname: Pfenning, Frank email: fp@cs.cmu.edu |
| BookMark | eNqFj71qwzAUhTWk0DTNE3TxC9jVny156BBC_yDQpZ3FtXxtZGzLSKbQt69Td-rQTBcO9zuc74ZsRj8iIXeMZoyy4r7Luh6GKeOUnxNaCLUhWy5ynnJO9TXZx9hRurxqpQXbEnZIBowRWkwniNGNbeLGGcMUcIbZ-THxTQJ155c06X3r7C25aqCPuP-9O_Lx9Ph-fElPb8-vx8MptULqOQUJdVULxgqgUuclMKHKqqRYVKiUznXNucqlynMGthKilFDxZRciQIESxY6ItdcGH2PAxkzBDRC-DKPmLGs68yNrzrJmlV2o8g9l3SoyB3D9BfZhZXHR-nQYTLQOR4u1C2hnU3v3L_8Njth0Uw |
| CitedBy_id | crossref_primary_10_4204_EPTCS_347_3 crossref_primary_10_1145_3716311 crossref_primary_10_1145_3563318 |
| Cites_doi | 10.1016/j.ic.2008.11.006 10.1016/j.ic.2012.05.002 10.1007/BF01201353 10.1017/S0956796809990268 10.1017/S0960129514000218 10.1017/S0960129503004043 |
| ContentType | Journal Article |
| Copyright | 2021 The Authors |
| Copyright_xml | – notice: 2021 The Authors |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.jlamp.2020.100637 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jlamp_2020_100637 S235222082030122X |
| GroupedDBID | --M 0R~ 4.4 457 4G. 6I. 7-5 8P~ AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAXUO AAYFN ABBOA ABMAC ABVKL ABXDB ABYKQ ACDAQ ACGFS ACRLP ADBBV ADEZE AEBSH AEKER AENEX AFKWA AFTJW AGHFR AGUBO AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD AXJTR BKOJK BLXMC EBS EFJIC EFLBG EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 NCXOZ O9- OAUVE RIG ROL SPC SPCBC SSV SSZ T5K ~G- AATTM AAXKI AAYWO AAYXX ABJNI ACVFH ADCNI ADVLN AEIPS AEUPX AFJKZ AFPUW AFXIZ AGCQF AGRNS AIGII AIIUN AKBMS AKRWK AKYEP ANKPU BNPGV CITATION SSH |
| ID | FETCH-LOGICAL-c348t-a4adbd3116a04859a1379b90e6be77858d227547551acb3394ab2016eeaa6e4e3 |
| IEDL.DBID | AIKHN |
| ISSN | 2352-2208 |
| IngestDate | Tue Jul 01 00:37:50 EDT 2025 Thu Apr 24 23:10:17 EDT 2025 Fri Feb 23 02:46:36 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| License | This is an open access article under the CC BY license. |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c348t-a4adbd3116a04859a1379b90e6be77858d227547551acb3394ab2016eeaa6e4e3 |
| OpenAccessLink | https://www.sciencedirect.com/science/article/pii/S235222082030122X |
| ParticipantIDs | crossref_primary_10_1016_j_jlamp_2020_100637 crossref_citationtrail_10_1016_j_jlamp_2020_100637 elsevier_sciencedirect_doi_10_1016_j_jlamp_2020_100637 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | April 2021 2021-04-00 |
| PublicationDateYYYYMMDD | 2021-04-01 |
| PublicationDate_xml | – month: 04 year: 2021 text: April 2021 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of logical and algebraic methods in programming |
| PublicationYear | 2021 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Vasconcelos (br0280) 2012; 217 Honda, Hu, Neykova, Chen, Demangeon, Deniélou, Yoshida (br0290) 2014; vol. 8665 Honda, Vasconcelos, Kubo (br0270) 1998; vol. 1381 Kobayashi, Pierce, Turner (br0040) 1996 Tov, Pucella (br0360) 2011 Licata, Shulman (br0130) 2016; vol. 9537 Mostrous, Vasconcelos (br0070) 2014; vol. 8459 Palsberg, Jay (br0260) 1998 Caires, Pfenning (br0020) 2010; vol. 6269 Padovani (br0090) 2017; 27 Griffith (br0310) Apr. 2016 Scalas, Yoshida (br0080) 2016 Pfenning, Griffith (br0110) 2015; vol. 9034 Tu, Liu, Song, Zhang (br0160) 2019 Honda (br0010) 1993; vol. 715 Reed (br0120) Pruiksma, Chargin, Pfenning, Reed (br0140) Gay, Vasconcelos (br0030) 2010; 20 Pruiksma, Pfenning (br0170) 2019; vol. 291 DeYoung, Pfenning, Pruiksma (br0060) 2020 Toninho, Caires, Pfenning (br0240) 2013; vol. 7792 Wadler (br0340) 1990; vol. 2 Igarashi, Kobayashi (br0350) 2000; vol. 152 Gentzen (br0180) 1935; 39 Licata, Shulman, Riley (br0210) 2017 Fowler, Lindley, Morris, Decova (br0100) 2019 DeYoung, Caires, Pfenning, Toninho (br0050) 2012 Balzer, Pfenning (br0390) 2017 Negri, von Plato (br0190) 2001 Palamidessi (br0150) 2003; 13 Pfenning, Pruiksma (br0380) 2018 Caires, Pérez (br0320) 2017 Girard, Lafont (br0330) 1987; vol. 250 Wadler (br0220) 2012 Toninho (br0300) May 2015 Caires, Pfenning, Toninho (br0230) 2016; 26 Cervesato, Scedrov (br0250) 2009; 207 Benton (br0200) 1994; vol. 933 br0370 Reed (10.1016/j.jlamp.2020.100637_br0120) Honda (10.1016/j.jlamp.2020.100637_br0010) 1993; vol. 715 Pruiksma (10.1016/j.jlamp.2020.100637_br0140) Cervesato (10.1016/j.jlamp.2020.100637_br0250) 2009; 207 Fowler (10.1016/j.jlamp.2020.100637_br0100) 2019 DeYoung (10.1016/j.jlamp.2020.100637_br0050) 2012 Igarashi (10.1016/j.jlamp.2020.100637_br0350) 2000; vol. 152 Caires (10.1016/j.jlamp.2020.100637_br0020) 2010; vol. 6269 Licata (10.1016/j.jlamp.2020.100637_br0210) 2017 Pfenning (10.1016/j.jlamp.2020.100637_br0110) 2015; vol. 9034 Balzer (10.1016/j.jlamp.2020.100637_br0390) 2017 Honda (10.1016/j.jlamp.2020.100637_br0290) 2014; vol. 8665 Palsberg (10.1016/j.jlamp.2020.100637_br0260) 1998 Scalas (10.1016/j.jlamp.2020.100637_br0080) 2016 Palamidessi (10.1016/j.jlamp.2020.100637_br0150) 2003; 13 Caires (10.1016/j.jlamp.2020.100637_br0230) 2016; 26 Toninho (10.1016/j.jlamp.2020.100637_br0240) 2013; vol. 7792 Griffith (10.1016/j.jlamp.2020.100637_br0310) 2016 Kobayashi (10.1016/j.jlamp.2020.100637_br0040) 1996 Pruiksma (10.1016/j.jlamp.2020.100637_br0170) 2019; vol. 291 Wadler (10.1016/j.jlamp.2020.100637_br0340) 1990; vol. 2 Vasconcelos (10.1016/j.jlamp.2020.100637_br0280) 2012; 217 Pfenning (10.1016/j.jlamp.2020.100637_br0380) 2018 Padovani (10.1016/j.jlamp.2020.100637_br0090) 2017; 27 Tu (10.1016/j.jlamp.2020.100637_br0160) 2019 Mostrous (10.1016/j.jlamp.2020.100637_br0070) 2014; vol. 8459 Gentzen (10.1016/j.jlamp.2020.100637_br0180) 1935; 39 Benton (10.1016/j.jlamp.2020.100637_br0200) 1994; vol. 933 Tov (10.1016/j.jlamp.2020.100637_br0360) 2011 Gay (10.1016/j.jlamp.2020.100637_br0030) 2010; 20 DeYoung (10.1016/j.jlamp.2020.100637_br0060) 2020 Caires (10.1016/j.jlamp.2020.100637_br0320) 2017 Licata (10.1016/j.jlamp.2020.100637_br0130) 2016; vol. 9537 Girard (10.1016/j.jlamp.2020.100637_br0330) 1987; vol. 250 Wadler (10.1016/j.jlamp.2020.100637_br0220) 2012 Toninho (10.1016/j.jlamp.2020.100637_br0300) 2015 Honda (10.1016/j.jlamp.2020.100637_br0270) 1998; vol. 1381 Negri (10.1016/j.jlamp.2020.100637_br0190) 2001 |
| References_xml | – ident: br0370 – year: 2020 ident: br0060 article-title: Semi-axiomatic sequent calculus publication-title: 5th International Conference on Formal Structures for Computation and Deduction – start-page: 865 year: 2019 end-page: 878 ident: br0160 article-title: Understanding real-world concurrency bugs in Go publication-title: Architectural Support for Programming Languages and Operating Systems – volume: 217 start-page: 52 year: 2012 end-page: 70 ident: br0280 article-title: Fundamentals of session types publication-title: Inf. Comput. – volume: vol. 2 start-page: 347 year: 1990 end-page: 359 ident: br0340 article-title: Linear types can change the world publication-title: IFIP TC – volume: vol. 8459 start-page: 115 year: 2014 end-page: 130 ident: br0070 article-title: Affine sessions publication-title: 16th International Conference on Coordination Models and Languages – start-page: 358 year: 1996 end-page: 371 ident: br0040 article-title: Linearity and the pi-calculus publication-title: Proceedings of the 23rd Symposium on Principles of Programming Languages – volume: 13 start-page: 685 year: 2003 end-page: 719 ident: br0150 article-title: Comparing the expressive power of the synchronous and the asynchronous publication-title: Math. Struct. Comput. Sci. – volume: vol. 250 start-page: 52 year: 1987 end-page: 66 ident: br0330 article-title: Linear logic and lazy computation publication-title: Proceedings of the International Joint Conference on Theory and Practice of Software Development, vol. 2 – volume: vol. 8665 start-page: 105 year: 2014 end-page: 127 ident: br0290 article-title: Structuring communication with session types publication-title: Concurrent Objects and Beyond – year: May 2015 ident: br0300 article-title: A logical foundation for session-based concurrent computation – volume: vol. 152 year: 2000 ident: br0350 article-title: Garbage collection based on a linear type system publication-title: Preliminary Proceedings of the 3rd ACM SIGPLAN Workshop on Types in Compilation (TIC'00) – start-page: 37:1 year: 2017 end-page: 37:29 ident: br0390 article-title: Manifest sharing with session types publication-title: International Conference on Functional Programming – volume: 20 start-page: 19 year: 2010 end-page: 50 ident: br0030 article-title: Linear type theory for asynchronous session types publication-title: J. Funct. Program. – volume: vol. 1381 start-page: 122 year: 1998 end-page: 138 ident: br0270 article-title: Language primitives and type discipline for structured communication-based programming publication-title: 7th European Symposium on Programming Languages and Systems – start-page: 9 year: 1998 end-page: 15 ident: br0260 article-title: The essence of the visitor pattern publication-title: Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference – start-page: 28:1 year: 2019 end-page: 28:29 ident: br0100 article-title: Exceptional asynchronous session types publication-title: Proceedings of the 46th Symposium on Programming Languages – year: Apr. 2016 ident: br0310 article-title: Polarized substructural session types – year: 2001 ident: br0190 article-title: Structural Proof Theory – volume: vol. 9537 start-page: 219 year: 2016 end-page: 235 ident: br0130 article-title: Adjoint logic with a 2-category of modes publication-title: International Symposium on Logical Foundations of Computer Science – start-page: 229 year: 2017 end-page: 259 ident: br0320 article-title: Linearity, control effects, and behavioral types publication-title: European Symposium on Programming – volume: vol. 715 start-page: 509 year: 1993 end-page: 523 ident: br0010 article-title: Types for dyadic interaction publication-title: 4th International Conference on Concurrency Theory – volume: 39 start-page: 176 year: 1935 end-page: 210 ident: br0180 article-title: Untersuchungen über das logische Schließen publication-title: Math. Z. – volume: vol. 6269 start-page: 222 year: 2010 end-page: 236 ident: br0020 article-title: Session types as intuitionistic linear propositions publication-title: Proceedings of the 21st International Conference on Concurrency Theory – ident: br0140 article-title: Adjoint logic – start-page: 273 year: 2012 end-page: 286 ident: br0220 article-title: Propositions as sessions publication-title: Proceedings of the 17th International Conference on Functional Programming – volume: 27 year: 2017 ident: br0090 article-title: A simple library implementation of binary sessions publication-title: J. Funct. Program. – year: 2017 ident: br0210 article-title: A fibrational framework for substructural and modal logics publication-title: International Conference on Formal Structures for Computation and Deduction – start-page: 447 year: 2011 end-page: 458 ident: br0360 article-title: Practical affine types publication-title: Proceedings of the 38th Symposium on Principles of Programming Languages – year: 2018 ident: br0380 article-title: A shared memory semantics for session types – volume: vol. 7792 start-page: 350 year: 2013 end-page: 369 ident: br0240 article-title: Higher-order processes, functions, and sessions: a monadic integration publication-title: Proceedings of the European Symposium on Programming – volume: 26 start-page: 367 year: 2016 end-page: 423 ident: br0230 article-title: Linear logic propositions as session types publication-title: Math. Struct. Comput. Sci. – volume: vol. 9034 start-page: 3 year: 2015 end-page: 22 ident: br0110 article-title: Polarized substructural session types publication-title: Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures – ident: br0120 article-title: A judgmental deconstruction of modal logic – volume: 207 start-page: 1044 year: 2009 end-page: 1077 ident: br0250 article-title: Relating state-based and process-based concurrency through linear logic publication-title: Inf. Comput. – start-page: 21:1 year: 2016 end-page: 21:28 ident: br0080 article-title: Lightweight session programming in Scala publication-title: Proceedings of the 30th European Conference on Object-Oriented Programming – volume: vol. 291 start-page: 60 year: 2019 end-page: 79 ident: br0170 article-title: A message-passing interpretation of adjoint logic publication-title: Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software – start-page: 228 year: 2012 end-page: 242 ident: br0050 article-title: Cut reduction in linear logic as asynchronous session-typed communication publication-title: Proceedings of the 21st Conference on Computer Science Logic – volume: vol. 933 start-page: 121 year: 1994 end-page: 135 ident: br0200 article-title: A mixed linear and non-linear logic: proofs, terms and models publication-title: Selected Papers from the 8th International Workshop on Computer Science Logic – start-page: 447 year: 2011 ident: 10.1016/j.jlamp.2020.100637_br0360 article-title: Practical affine types – start-page: 273 year: 2012 ident: 10.1016/j.jlamp.2020.100637_br0220 article-title: Propositions as sessions – year: 2020 ident: 10.1016/j.jlamp.2020.100637_br0060 article-title: Semi-axiomatic sequent calculus – volume: 207 start-page: 1044 issue: 10 year: 2009 ident: 10.1016/j.jlamp.2020.100637_br0250 article-title: Relating state-based and process-based concurrency through linear logic publication-title: Inf. Comput. doi: 10.1016/j.ic.2008.11.006 – year: 2017 ident: 10.1016/j.jlamp.2020.100637_br0210 article-title: A fibrational framework for substructural and modal logics – volume: 217 start-page: 52 year: 2012 ident: 10.1016/j.jlamp.2020.100637_br0280 article-title: Fundamentals of session types publication-title: Inf. Comput. doi: 10.1016/j.ic.2012.05.002 – volume: vol. 2 start-page: 347 year: 1990 ident: 10.1016/j.jlamp.2020.100637_br0340 article-title: Linear types can change the world – volume: vol. 8459 start-page: 115 year: 2014 ident: 10.1016/j.jlamp.2020.100637_br0070 article-title: Affine sessions – volume: vol. 250 start-page: 52 year: 1987 ident: 10.1016/j.jlamp.2020.100637_br0330 article-title: Linear logic and lazy computation – volume: 39 start-page: 176 year: 1935 ident: 10.1016/j.jlamp.2020.100637_br0180 article-title: Untersuchungen über das logische Schließen publication-title: Math. Z. doi: 10.1007/BF01201353 – volume: vol. 6269 start-page: 222 year: 2010 ident: 10.1016/j.jlamp.2020.100637_br0020 article-title: Session types as intuitionistic linear propositions – year: 2018 ident: 10.1016/j.jlamp.2020.100637_br0380 – volume: 20 start-page: 19 issue: 1 year: 2010 ident: 10.1016/j.jlamp.2020.100637_br0030 article-title: Linear type theory for asynchronous session types publication-title: J. Funct. Program. doi: 10.1017/S0956796809990268 – volume: vol. 291 start-page: 60 year: 2019 ident: 10.1016/j.jlamp.2020.100637_br0170 article-title: A message-passing interpretation of adjoint logic – ident: 10.1016/j.jlamp.2020.100637_br0140 – volume: vol. 8665 start-page: 105 year: 2014 ident: 10.1016/j.jlamp.2020.100637_br0290 article-title: Structuring communication with session types – volume: vol. 9537 start-page: 219 year: 2016 ident: 10.1016/j.jlamp.2020.100637_br0130 article-title: Adjoint logic with a 2-category of modes – volume: vol. 1381 start-page: 122 year: 1998 ident: 10.1016/j.jlamp.2020.100637_br0270 article-title: Language primitives and type discipline for structured communication-based programming – year: 2016 ident: 10.1016/j.jlamp.2020.100637_br0310 – volume: 26 start-page: 367 issue: 3 year: 2016 ident: 10.1016/j.jlamp.2020.100637_br0230 article-title: Linear logic propositions as session types publication-title: Math. Struct. Comput. Sci. doi: 10.1017/S0960129514000218 – start-page: 228 year: 2012 ident: 10.1016/j.jlamp.2020.100637_br0050 article-title: Cut reduction in linear logic as asynchronous session-typed communication – volume: 27 issue: e4 year: 2017 ident: 10.1016/j.jlamp.2020.100637_br0090 article-title: A simple library implementation of binary sessions publication-title: J. Funct. Program. – start-page: 21:1 year: 2016 ident: 10.1016/j.jlamp.2020.100637_br0080 article-title: Lightweight session programming in Scala – volume: vol. 7792 start-page: 350 year: 2013 ident: 10.1016/j.jlamp.2020.100637_br0240 article-title: Higher-order processes, functions, and sessions: a monadic integration – volume: vol. 715 start-page: 509 year: 1993 ident: 10.1016/j.jlamp.2020.100637_br0010 article-title: Types for dyadic interaction – volume: vol. 933 start-page: 121 year: 1994 ident: 10.1016/j.jlamp.2020.100637_br0200 article-title: A mixed linear and non-linear logic: proofs, terms and models – start-page: 9 year: 1998 ident: 10.1016/j.jlamp.2020.100637_br0260 article-title: The essence of the visitor pattern – volume: vol. 152 year: 2000 ident: 10.1016/j.jlamp.2020.100637_br0350 article-title: Garbage collection based on a linear type system – start-page: 865 year: 2019 ident: 10.1016/j.jlamp.2020.100637_br0160 article-title: Understanding real-world concurrency bugs in Go – volume: vol. 9034 start-page: 3 year: 2015 ident: 10.1016/j.jlamp.2020.100637_br0110 article-title: Polarized substructural session types – year: 2015 ident: 10.1016/j.jlamp.2020.100637_br0300 – year: 2001 ident: 10.1016/j.jlamp.2020.100637_br0190 – start-page: 37:1 year: 2017 ident: 10.1016/j.jlamp.2020.100637_br0390 article-title: Manifest sharing with session types – start-page: 28:1 year: 2019 ident: 10.1016/j.jlamp.2020.100637_br0100 article-title: Exceptional asynchronous session types – volume: 13 start-page: 685 issue: 5 year: 2003 ident: 10.1016/j.jlamp.2020.100637_br0150 article-title: Comparing the expressive power of the synchronous and the asynchronous π-calculus publication-title: Math. Struct. Comput. Sci. doi: 10.1017/S0960129503004043 – ident: 10.1016/j.jlamp.2020.100637_br0120 – start-page: 229 year: 2017 ident: 10.1016/j.jlamp.2020.100637_br0320 article-title: Linearity, control effects, and behavioral types – start-page: 358 year: 1996 ident: 10.1016/j.jlamp.2020.100637_br0040 article-title: Linearity and the pi-calculus |
| SSID | ssj0001687831 |
| Score | 2.2467122 |
| Snippet | We present a system of session types based on adjoint logic which generalizes standard binary session types. Our system allows us to uniformly capture several... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 100637 |
| Title | A message-passing interpretation of adjoint logic |
| URI | https://dx.doi.org/10.1016/j.jlamp.2020.100637 |
| Volume | 120 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFH_M7eLFb3F-kYNHw9okTdPjGI6puIsOditJm8iGbkPm_29em6oD2cFr6IPyS95Hkl_eD-CGx445JyO8dI-oiF1JlWacslTZTGglkgxfIz-N5WgiHqbJtAWD5i0M0ipD7K9jehWtw0gvoNlbzWa9Z4a1A8MUxvF-aLoDHcYz6Zd2p3__OBr_HLVIlapKmRBNKNo0_YcqptfcY4-tK1nFGZAoif5XjvqVd4YHsBcKRtKv_-kQWnZxBPuNGAMJvnkMcZ-8o5zJq6UrXxD7jERmG4RCsnREl_OlHyVVwDuByfDuZTCiQQ-BFlyoNdVCl6bkcSy197sk0zFPM5NFVhqbpipRJWNpIlJfBOnCcO6xNj6_S2u1llZYfgrtxXJhz4AY7UGzsoz87OAWydgsKbyzcydj54TuAmsQyIvQLBw1K97yhhU2zyvYcoQtr2Hrwu230arulbH9c9lAm29Mee6j-TbD8_8aXsAuQ0pKRby5hPb649Ne-Zpiba7DmvkCdoHHog |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED6VdoCFN6I8MzAStbEdxxmriiqlj4VW6hbZiY1aQVuh8v_xJQ5QCXVgtXyS9Tn3cPz5PoAHGhhiDG_jpXvbZ4HJfSEJ9UkkdMykYGGMr5FHY55M2fMsnNWgW72FQVqli_1lTC-itRtpOTRb6_m89UKwdiCYwijeD832oIHdqcI6NDr9QTL--dXCRSQKZUI08dGm6j9UML0WFntsXUkKzgBHSfS_ctSvvNM7hkNXMHqdck0nUNPLUziqxBg855tnEHS8d5QzedX-2hbENiN58y1CobcynswXKzvqFQHvHKa9p0k38Z0egp9RJja-ZDJXOQ0CLq3fhbEMaBSruK250lEkQpETEiECYSAzRanFWtn8zrWWkmum6QXUl6ulvgRPSQua5nnb7g4ekZSOw8w6OzU8MIbJJpAKgTRzzcJRs-ItrVhhi7SALUXY0hK2Jjx-G63LXhm7p_MK2nRry1MbzXcZXv3X8B72k8lomA7748E1HBCkpxQknBuobz4-9a2tLzbqzn0_X-mjyog |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+message-passing+interpretation+of+adjoint+logic&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Pruiksma%2C+Klaas&rft.au=Pfenning%2C+Frank&rft.date=2021-04-01&rft.pub=Elsevier+Inc&rft.issn=2352-2208&rft.volume=120&rft_id=info:doi/10.1016%2Fj.jlamp.2020.100637&rft.externalDocID=S235222082030122X |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |