{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:23Z","timestamp":1725455843408},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611431"},{"type":"electronic","value":"9783540683322"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0023073","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:32:44Z","timestamp":1132363964000},"page":"344-361","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Process calculi at work \u2014 An account of the LCS project"],"prefix":"10.1007","author":[{"given":"Bernard","family":"Berthomieu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano, E. Zucca, \u201cParametric channels via label expressions in CCS*\u201d, Theoretical Computer Science. Vol 33. 1984.","DOI":"10.1016\/0304-3975(84)90102-6"},{"key":"21_CR2","volume-title":"LNCS Vol 788","author":"B. Berthomieu","year":"1994","unstructured":"B. Berthomieu, T. Le Sergent, \u201cProgramming with behaviors in an ML framework, The syntax and semantics of LCS\u201d, European Symposium in Programming. Edinburgh. April 1994. Springer Verlag LNCS Vol 788, 1994."},{"key":"21_CR3","unstructured":"B. Berthomieu, C. le Moni\u00e9s de Sagazan, \u201cA Calculus of Tagged Types, with Applications to Process Languages\u201d, TAPSOFT Workshop on Types for Program Analysis, Aarhus. Denmark, May 95 (DAIMI report PB-493, University of Aarhus)."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"G. Berry, G. Boudol, \u201cThe Chemical Abstract Machine\u201d, Theoretical Computer Science, Vol 96. pp. 217\u2013248, Elseiver 1992.","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"21_CR5","unstructured":"W. H. Burge, \u201cRecursive Programming Techniques\u201d, Systems Programing Series, Addison Wesley, 1976."},{"key":"21_CR6","unstructured":"G. A. Andrews, \u201cConcurrent Programming. Principles and Practice\u201d, Benjamin\/Cummings Publishing Company. 1991."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"A. Giacalone, P. Mishra, S. Prasad, \u201cFacile: A symmetric integration of concurrent and functional programming\u201d. Int. Journal of Parallel Programming, 18(2), April 1989.","DOI":"10.1007\/BF01491213"},{"key":"21_CR8","unstructured":"ISO, \u201cISO-LOTOS, A Formal Description Technique based on the Temporal Ordering of Observational Behaviour\u201d, Int. Standard ISO 8807, ISO, 1989."},{"key":"21_CR9","unstructured":"T. Le Sergent, B. Berthomieu, \u201cIncremental multi-threaded garbage collection on virtually shared memory architectures\u201d. Int. Workshop on Memory Management, St. Malo, France, Sept. 1992."},{"key":"21_CR10","unstructured":"T. Le Sergent, B. Berthomieu, \u201cBalancing load under large and fast load changes in distributed computing systems \u2014 A case study\u201d, CONPAR 94 \u2014 VAPP VI Third Joint Int. Conference on Vector and Parallel Processing, Linz, Austria, Sept. 94."},{"key":"21_CR11","unstructured":"T. Le Sergent, \u201cM\u00e9thodes d'ex\u00e9cution et machines virtuelles parall\u00e8les pour l'implantation distribu\u00e9e du langage de programmation parall\u00e8le LCS\u201d, Ph.D. thesis, Feb. 93."},{"key":"21_CR12","unstructured":"D. Matthews, \u201cA distributed concurrent implementation of Standard ML\u201d, EurOpen Autumn 1991 Conference, Budapest, Hungary, 1991."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"D. Matthews, T. Le Sergent, \u201cLEMMA, A Distributed Shared Memory with Global and Local Garbage Collection\u201d, Int. Workshop on Memory Management, Kinross, Scotland, Sept. 1995.","DOI":"10.1007\/3-540-60368-9_30"},{"key":"21_CR14","unstructured":"B. C. Pierce, D. R\u00e9my, D. N. Turner, \u201cA Typed Higher-Order Programming Language Based on the Pi-Calculus\u201d, Edinburgh University, 1993."},{"key":"21_CR15","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall international series in Computer science, C.A.R. Hoare Ed, 1989."},{"key":"21_CR16","unstructured":"R. Milner, J. Parrow, D. Walker, \u201cA Calculus of Mobile Processes\u201d, ECS-LFCS-89-85, LFCS report series. Edinburgh University, 1989."},{"key":"21_CR17","unstructured":"C.M.P Reade, \u201cElements of Functional Programming\u201d, International Computer Science Series, Addison Wesley, 1989."},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"J. H. Reppy, \u201cCML: A higher-order concurrent language\u201d, ACM SIGPLAN Conf. on Programming Language Design and Implementation, SIGPLAN Notices 26(6), 1991.","DOI":"10.1145\/113446.113470"}],"container-title":["Lecture Notes in Computer Science","Parallel Symbolic Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T18:11:46Z","timestamp":1580321506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611431","9783540683322"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0023073","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}