{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:05:44Z","timestamp":1743123944565,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020520"},{"type":"electronic","value":"9783642020537"}],"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-02053-7_5","type":"book-chapter","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T02:13:15Z","timestamp":1244599995000},"page":"86-105","source":"Crossref","is-referenced-by-count":2,"title":["Fairness for Chorded Languages"],"prefix":"10.1007","author":[{"given":"Alexis","family":"Petrounias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Eisenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"372","volume-title":"Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, United States","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, United States, pp. 372\u2013385. ACM Press, New York (1996)"},{"key":"5_CR2","unstructured":"Fournet, C., Gonthier, G.: The join calculus: a language for distributed mobile programming, pp. 1\u201366. Applied Semantics Summer School (2008)"},{"key":"5_CR3","unstructured":"Chrysanthakopoulos, G., Singh, S.: An asynchronous messaging library for C\n                    \n                      \n                    \n                    ${}^{\\sharp}$\n                  . In: Synchronization and Concurrency in Object-Oriented Languages (SCOOL) Workshop, OOPSLA (October 2005)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Russo, C.: Join patterns for visual basic. In: OOPSLA (2008)","DOI":"10.1145\/1449764.1449770"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-69611-7_17","volume-title":"Practical Aspects of Declarative Languages","author":"C. Russo","year":"2006","unstructured":"Russo, C.: The joins concurrency library. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 260\u2013274. Springer, Heidelberg (2006)"},{"key":"5_CR6","unstructured":"Benton, N., Bierman, G., Cardelli, L., Meijer, E., Russo, C., Schulte, W.: C\n                    \u03c9\n                   (2004), \n                    \n                      http:\/\/research.microsoft.com\/Comega\/"},{"key":"5_CR7","unstructured":"Fournet, C.: The jocaml language (2008), \n                    \n                      http:\/\/jocaml.inria.fr\/"},{"key":"5_CR8","unstructured":"Cremet, V.: Join definitions in scala, \n                    \n                      http:\/\/lamp.epfl.ch\/~cremet\/join_in_scala\/"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-47993-7_18","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"N. Benton","year":"2002","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C\n                    \n                      \n                    \n                    ${}^{\\sharp}$\n                  . In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 415\u2013440. Springer, Heidelberg (2002)"},{"issue":"3","key":"5_CR10","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0890-5401(87)90013-7","volume":"73","author":"G. Costa","year":"1987","unstructured":"Costa, G., Stirling, C.: Weak and strong fairness in ccs. Information and Computation\u00a073(3), 207\u2013244 (1987)","journal-title":"Information and Computation"},{"issue":"7","key":"5_CR11","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/0950-5849(89)90159-6","volume":"31","author":"M.Z. Kwiatkowska","year":"1989","unstructured":"Kwiatkowska, M.Z.: Survey of fairness notions. Information and Software Technology\u00a031(7), 371\u2013386 (1989)","journal-title":"Information and Software Technology"},{"key":"5_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"Francez, N.: Fairness. ACM Press, New York (1986)"}],"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-02053-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T14:31:20Z","timestamp":1552055480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02053-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020520","9783642020537"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02053-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}