{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:05:27Z","timestamp":1725494727140},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662297"},{"type":"electronic","value":"9783540485155"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48515-5_15","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:25:55Z","timestamp":1194989155000},"page":"229-245","source":"Crossref","is-referenced-by-count":0,"title":["Explicit Message Passing for Concurrent Clean"],"prefix":"10.1007","author":[{"given":"Pascal R.","family":"Serrarens","sequence":"first","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"15_CR1","unstructured":"P.M. Achten. Interactive Functional Programs-Models, Methods and Implementation. PhD thesis, University of Nijmegen, February 1996."},{"key":"15_CR2","series-title":"Lect Notes Comput Sci","first-page":"305","volume-title":"Interactive Functional Objects in Clean","author":"P.M. Achten","year":"1998","unstructured":"P.M. Achten and M.J. Plasmeijer. Interactive Functional Objects in Clean. In C. Clack, T. Davie, and K. Hammond, editors, Proc. 9th. International Workshop on Implementation of Functional Languages, St Andrews, Scotland, September 1997, volume 1467 of LNCS, pages 305\u2013322. Springer-Verlag, 1998."},{"key":"15_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BFb0026821","volume-title":"Uniqueness Type Inference","author":"E. Barendsen","year":"1995","unstructured":"E. Barendsen and J.E.W. Smetsers. Uniqueness Type Inference. In M. Hermenegildo and D. Swierstra, editors, Proc. Programming Languages: Implementations, Logics and Programs (PLILP\u201995), volume 982 of LNCS, pages 189\u2013207. Springer-Verlag, 1995."},{"key":"15_CR4","volume-title":"Reliable Distributed Computing with the Isis Toolkit","author":"K.P. Birman","year":"1994","unstructured":"K.P. Birman and R. van Renesse. Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press, Los Alamitos, CA, 1994."},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare C.A.R. Communicating Sequential Processes. Communications of the ACM, 21:666\u2013671, Aug. 1978.","journal-title":"Communications of the ACM"},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/227210.227227","volume":"39","author":"D. Dolev","year":"1996","unstructured":"D. Dolev and D. Malki. The Transis Approach to High Availability Cluster Communication. Communications of the ACM, 39(4):64\u201370, April 1996.","journal-title":"Communications of the ACM"},{"key":"15_CR7","unstructured":"I. Holyer and D. Carter. Deterministic Concurrency. In Proc. 1993 Glasgow Workshop on Functional Programming, pages 113\u2013126. Springer-Verlag, July 1993."},{"key":"15_CR8","unstructured":"M.P. Jones and P. Hudak. Implicit and Explicit Parallel Programming in Haskell. Technical Report YALEU\/DCS\/RR-982, Yale University, 1993."},{"key":"15_CR9","volume-title":"Proc. 6th. International Workshop on the Implementation of Functional Languages (IFL\u201994)","author":"M.H.G. Kesseler","year":"1994","unstructured":"M.H.G. Kesseler. Uniqueness and Lazy Graph Copying-Copyright for the Unique. In Proc. 6th. International Workshop on the Implementation of Functional Languages (IFL\u201994), Norwich, UK, 1994. University of East Anglia."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"U. Klusik, Y. Ortega, and R. Pe\u00f1a. Implementing Eden, or Dreams Become Reality. In This Proceedings.","DOI":"10.1007\/3-540-48515-5_7"},{"issue":"4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/227210.227226","volume":"39","author":"L.E. Moser","year":"1996","unstructured":"L.E. Moser, P.M. Melliar-Smith, D.A. Agarwal, Budhia R.K., and C.C. Lingley-Papadopoulos. Totem: A Fault-Tolerant Multicast Group Communication System. Communications of the ACM, 39(4):54\u201363, April 1996.","journal-title":"Communications of the ACM"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Gehani N.H. Broadcasting Sequential Processes (BSP). IEEE Transactions on Software Engineering, 10(4), July 1984.","DOI":"10.1109\/TSE.1984.5010247"},{"key":"15_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-54152-7_66","volume-title":"Concurrent Clean","author":"E.G.J.M.H. N\u00f6ocker","year":"1991","unstructured":"E.G.J.M.H. N\u00f6ocker, J.E.W. Smetsers, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Concurrent Clean. In Proc. PARLE\u201991 \u2014 Parallel Architectures and Languages Europe, volume 506 of LNCS, pages 202\u2013219, Eindhoven, The Netherlands, June 1991. Spinger-Verlag."},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1109\/49.564138","volume":"15","author":"S. Paul","year":"1997","unstructured":"S. Paul, Sabnani K.K, J.C. Lin, and S. Bhattacharyya. Reliable Multicast Transport Protocol (RMTP). IEEE Journal on Selected Areas in Communications, 15(3):407\u2013421, April 1997.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/237721.237794","volume-title":"Proc. 23rd. ACM Symposium on Principles of Programming Languages (POPL\u201996)","author":"S.L. Peyton Jones","year":"1996","unstructured":"S.L. Peyton Jones, A.D. Gordon, and S.O. Finne. Concurrent Haskell. In Proc. 23rd. ACM Symposium on Principles of Programming Languages (POPL\u201996), pages 295\u2013308, St Petersburg Beach, Florida, January 1996. ACM Press."},{"key":"15_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-63237-9_28","volume-title":"First Class File I\/O","author":"M.R.C. Pil","year":"1997","unstructured":"M.R.C. Pil. First Class File I\/O. In W. Kluge, editor, Proc. 8th. International Workshop on the Implementation of Functional Languages (IFL\u201996), Bad Godesberg, Germany, September 1996, volume 1268 of LNCS, pages 233\u2013246. Springer-Verlag, 1997."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"J. H. Reppy. Concurrent ML: Design, Application and Semantics. In P. E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 165\u2013198. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56883-2_10"},{"key":"15_CR18","unstructured":"E. Scholz. Four Concurrency Primitives for Haskell. In ACM\/IFIP Haskell Workshop, La Jolla, Colifornia, 1995. Research Report YALEU\/DCS\/RR-1075."},{"key":"15_CR19","unstructured":"B. Thomsen, L. Leth, S. Prasad, T-M. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile Antigua Release Programming Guide. Technical Report ECRC-93-20, European Computer-Industry Research Centre, 1993."},{"key":"15_CR20","unstructured":"D.N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Edinburgh University, 1995."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"R. van Renesse, K.P. Birman, and S. Maffeis. Horus: A flexible Group Communications System. Communications of the ACM, 39(4), April 1996.","DOI":"10.1145\/227210.227229"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48515-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:22:09Z","timestamp":1551079329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48515-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662297","9783540485155"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48515-5_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}