{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:27Z","timestamp":1762458927722,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214639"},{"type":"electronic","value":"9783642214646"}],"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_7","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T02:55:55Z","timestamp":1307415355000},"page":"95-109","source":"Crossref","is-referenced-by-count":19,"title":["Session Typing for a Featherweight Erlang"],"prefix":"10.1007","author":[{"given":"Dimitris","family":"Mostrous","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","first-page":"105","volume":"53","author":"R.M. Amadio","year":"2002","unstructured":"Amadio, R.M., Boudol, G., Lhoussaine, C.: On message deliverability and non-uniform receptivity. Fundam. Inf.\u00a053, 105\u2013129 (2002)","journal-title":"Fundam. Inf."},{"key":"7_CR2","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"7_CR3","unstructured":"Business process execution language for web services, \n                  \n                    http:\/\/public.dhe.ibm.com\/software\/dw\/specs\/ws-bpel\/ws-bpel.pdf"},{"key":"7_CR4","unstructured":"Carlsson, R.: An introduction to Core Erlang. In: PLI 2001 Erlang Workshop (2001)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-18378-2_3","volume-title":"Practical Aspects of Declarative Languages","author":"M. Christakis","year":"2011","unstructured":"Christakis, M., Sagonas, K.: Detection of asynchronous message passing errors using static analysis. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol.\u00a06539, pp. 5\u201318. Springer, Heidelberg (2011)"},{"issue":"2\/3","key":"7_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S.J. Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.J.: Subtyping for session types in the pi calculus. Acta Informatica\u00a042(2\/3), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"key":"7_CR7","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), \n                  \n                    http:\/\/www.di.fc.ul.pt\/~vv\/papers\/honda.vasconcelos.kubo_language-primitives.pdf"},{"key":"7_CR8","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: Ryan, M. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"7_CR9","first-page":"167","volume-title":"8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2006","author":"T. Lindahl","year":"2006","unstructured":"Lindahl, T., Sagonas, K.: Practical type inference based on success typings. In: 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2006, pp. 167\u2013178. ACM, New York (2006)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2004.05.008","volume":"105","author":"M. Viroli","year":"2004","unstructured":"Viroli, M.: Towards a formal foundation to orchestration languages. Electronic Notes in Theoretical Computer Science\u00a0105, 51\u201371 (2004); Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"7_CR11","volume-title":"Advanced Topics in Types and Programming Languages","author":"D. Walker","year":"2005","unstructured":"Walker, D.: Substructural Type Systems. In: Advanced Topics in Types and Programming Languages. MIT Press, Cambridge (2005)"},{"key":"7_CR12","series-title":"ENTCS","first-page":"73","volume-title":"1st International Workshop on Security and Rewriting Techniques","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. In: 1st International Workshop on Security and Rewriting Techniques. ENTCS, vol.\u00a0171(4), pp. 73\u201393. Elsevier, Amsterdam (2007)"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T19:57:11Z","timestamp":1548446231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21464-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214639","9783642214646"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21464-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}