{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172405},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540528261"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032073","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:05:31Z","timestamp":1134281131000},"page":"765-780","source":"Crossref","is-referenced-by-count":3,"title":["Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming"],"prefix":"10.1007","author":[{"given":"Sanjiva","family":"Prasad","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Giacalone","sequence":"additional","affiliation":[]},{"given":"Prateek","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"57_CR1","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-17660-8_55","volume-title":"LNCS 249: TAPSOFT '87","author":"E. Astesiano","year":"1987","unstructured":"Egidio Astesiano and Gianna Reggio. SMoLCS-Driven Concurrent Calculi. In LNCS 249: TAPSOFT '87, pages 169\u2013201, Springer-Verlag, Berlin, 1987."},{"key":"57_CR2","doi-asserted-by":"crossref","unstructured":"Egidio Astesiano and Elena Zucca. Parametric Channels via Label Expressions in CCS. Technical Report, Universita di Genova, January 1984.","DOI":"10.1016\/0304-3975(84)90102-6"},{"key":"57_CR3","doi-asserted-by":"crossref","unstructured":"Luca Cardelli. Amber. In Cousineau, Curien, and Robinet, editors, LNCS 242: Combinators and Functional Programming Languages, pages 21\u201347, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-17184-3_38"},{"key":"57_CR4","doi-asserted-by":"crossref","unstructured":"U. Engberg and M. Nielsen. A Calculus of Communicating Systems with Label Passing. Technical Report DAIMI PB-208, Aarhus University Computer Science Department, 1986.","DOI":"10.7146\/dpb.v15i208.7559"},{"issue":"2","key":"57_CR5","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01491213","volume":"18","author":"A. Giacalone","year":"1989","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. FACILE: A Symmetric Integration of Concurrent and Functional Programming. International Journal of Parallel Processing, 18(2):121\u2013160, April 1989.","journal-title":"International Journal of Parallel Processing"},{"key":"57_CR6","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50940-2_36","volume-title":"LNCS 352: TAPSOFT '89","author":"A. Giacalone","year":"1989","unstructured":"Alessandro Giacalone, Prateek Mishra, and Sanjiva Prasad. FACILE: A Symmetric Integration of Concurrent and Functional Programming. In J. Diaz and F. Orejas, editors, LNCS 352: TAPSOFT '89, pages 184\u2013209, Springer-Verlag, Berlin, March 1989."},{"key":"57_CR7","unstructured":"S\u00f6ren Holmstr\u00f6m. PFL: A Functional Language for Parallel Programming, and its Implementation. Programming Methodology Group 7, University of G\u00f6teborg and Chalmers University of Technology, September 1983."},{"key":"57_CR8","unstructured":"occam Programming Manual. 1984. Prentice-Hall International Series in Computer Science, C.A.R. Hoare (Series Editor)."},{"key":"57_CR9","unstructured":"Gilles Kahn. The Semantics of a Simple Language for Parallel Programming. In Proceedings of the IFIP Conference, pages 471\u2013475, IFIP, 1974."},{"key":"57_CR10","unstructured":"Kim G. Larsen. Context-Dependent Bisimulation between Processes. PhD thesis, University of Edinburgh, 1986."},{"key":"57_CR11","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/3-540-50940-2_42","volume-title":"LNCS 352: TAPSOFT '89","author":"S. Meira","year":"1989","unstructured":"Silvio Meira. Processes and Functions. In J. Diaz and F. Orejas, editors, LNCS 352: TAPSOFT '89, pages 286\u2013297, Springer-Verlag, Berlin, March 1989."},{"key":"57_CR12","doi-asserted-by":"crossref","unstructured":"Robin Milner. A Calculus of Communicating Systems. Volume 92 of Lecture Notes in Computer Science, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"57_CR13","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Robin Milner. Calculi for Synchrony and Asynchrony. Theoretical Computer Science, 25:267\u2013310, 1983.","journal-title":"Theoretical Computer Science"},{"key":"57_CR14","unstructured":"Robin Milner. Operational and Algebraic Semantics of Concurrent Processes. Technical Report ECS-LFCS-88-46, University of Edinburgh, 1988."},{"key":"57_CR15","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A Calculus of Mobile Processes. Technical Report ECS-LFCS-89-86, LFCS, Department of Computer Science, University of Edinburgh, June 1989. Also published as CSR-303-89."},{"key":"57_CR16","first-page":"357","volume-title":"LNCS 366: Proceedings of PARLE 89","author":"F. Nielson","year":"1989","unstructured":"Flemming Nielson. The Typed \u03bb-Calculus with First-Class Processes. In LNCS 366: Proceedings of PARLE 89, pages 357\u2013373, Springer-Verlag, Berlin, 1989."},{"key":"57_CR17","volume-title":"Concurrency and Automata on Infinite Sequences. Volume LNCS 104","author":"D. Park","year":"1981","unstructured":"D. Park. Concurrency and Automata on Infinite Sequences. Volume LNCS 104, Springer-Verlag, Berlin, 1981."},{"key":"57_CR18","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G.D. Plotkin","year":"1975","unstructured":"G.D. Plotkin. Call by name, call by value, and the \u03bb calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"57_CR19","unstructured":"G.D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University, September 1981."},{"key":"57_CR20","doi-asserted-by":"crossref","unstructured":"J.H. Reppy. Synchronous Operations as First-class Values. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 250\u2013259, ACM SIGPLAN, June 1988.","DOI":"10.1145\/53990.54015"},{"key":"57_CR21","doi-asserted-by":"crossref","unstructured":"Bent Thomsen. A Calculus of Higher Order Communicating Systems. In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, January 1989., 1989.","DOI":"10.1145\/75277.75290"},{"key":"57_CR22","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-17945-3_3","volume-title":"LNCS 259: PARLE Parallel Architectures and Languages Europe","author":"D. Turner","year":"1987","unstructured":"David Turner. Functional Programming and Communicating Processes. In de Bakker, Nijman, and Treleaven, editors, LNCS 259: PARLE Parallel Architectures and Languages Europe, pages 54\u201374, Springer-Verlag, Berlin, June 1987."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0032073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T21:19:57Z","timestamp":1683321597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540528261"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0032073","relation":{},"subject":[]}}