{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:12:42Z","timestamp":1725459162385},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540619949"},{"type":"electronic","value":"9783540495888"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0037421","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:15:55Z","timestamp":1138184155000},"page":"385-392","source":"Crossref","is-referenced-by-count":0,"title":["A new proposal of concurrent process calculus"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Lucas","sequence":"first","affiliation":[]},{"given":"Javier","family":"Oliver","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"29_CR1","series-title":"volume 761 of LNCS","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-57529-4_41","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"H. A\u00eft-Kaci and J. Garrigue. Label-Selective \u03bb-Calculus: Syntax and Confluence. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, volume 761 of LNCS, pages 24\u201340. Springer-Verlag, Berlin. 1993."},{"key":"29_CR2","volume-title":"volume 103 of Studies in Logic and the Foundations of Mathematics","author":"H.P. Barendregt","year":"1991","unstructured":"H.P. Barendregt. The \u03bb-calculus, its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. Elsevier Science Publishers, 1984 edition, Amsterdam, 1991.","edition":"1984 edition"},{"key":"29_CR3","volume-title":"Principles of Concurrent Programming","author":"M. Ben-Ari","year":"1982","unstructured":"M. Ben-Ari. Principles of Concurrent Programming. Englewood Cliffs: Prentice Hall, 1982."},{"key":"29_CR4","volume-title":"In Proc. of 3-e Colloque International sur la Programmation","author":"G. Berry","year":"1978","unstructured":"G. Berry. S\u00e9quentialit\u00e9 de l'\u00e9valuation formelle des \u03bb-expressions. In Proc. of 3-e Colloque International sur la Programmation, Dunod, Paris 1978."},{"key":"29_CR5","unstructured":"G. Berry and G. Boudol. The Chemical Abstract Machine. In Proc. of 20'th ACM Annual Symp. on Principles of Programming Languages, pages 81\u201393, ACM Press, 1993."},{"key":"29_CR6","series-title":"volume B: Formal Models and Semantics","volume-title":"Handbook of Theoretical Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor. Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243\u2013320. Elsevier, Amsterdam and the MIT Press, Cambridge, MA., 1990."},{"key":"29_CR7","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, Great Britain, 1985."},{"key":"29_CR8","volume-title":"Technical report, YALEU\/DCS\/RR-982","author":"M.P. Jones","year":"1993","unstructured":"M.P. Jones and P. Hudak. Implicit and explicit parallel programming in Haskell. Technical report, YALEU\/DCS\/RR-982. Yale University, New Haven, Connecticut, USA, August 1993."},{"key":"29_CR9","volume-title":"Computation as Logic","author":"R. Lalement","year":"1993","unstructured":"R. Lalement. Computation as Logic. Prentice Hall International, Great Britain. 1993."},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. LNCS 92, 1980. Springer Verlag.","DOI":"10.1007\/3-540-10235-3"},{"key":"29_CR11","volume-title":"Logic and Algebra of Specifications","author":"R. Milner","year":"1993","unstructured":"R. Milner. The polyadic \u03c0-calculus: A tutorial. In F.L. Brauer, W. Bauer, and H. Schwichtenberg, editors, Logic and Algebra of Specifications. Springer-Verlag. Berlin, 1993."},{"key":"29_CR12","unstructured":"J. Oliver and S. Lucas. Survey of concurrent calculi. In M.A. Fern\u00e1ndez, J.M. Garc\u00eda, J.A. Guerrero, and G. Moreno, editors, Nuevas tendencias en la Inform\u00e1tica: Arquitecturas Paralelas y Programaci\u00f3n Declarativa, pages 267\u2013289, 1994."},{"key":"29_CR13","volume-title":"The implementation of functional programming languages","author":"S.L. Peyton-Jones","year":"1987","unstructured":"S.L. Peyton-Jones. The implementation of functional programming languages. Prentice Hall International, Great Britain, 1987."}],"container-title":["Lecture Notes in Computer Science","SOFSEM'96: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,9]],"date-time":"2019-02-09T02:25:38Z","timestamp":1549679138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037421"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619949","9783540495888"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0037421","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}