{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:20:12Z","timestamp":1725488412927},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666943"},{"type":"electronic","value":"9783540478492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47849-3_27","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T00:45:30Z","timestamp":1186793130000},"page":"395-403","source":"Crossref","is-referenced-by-count":1,"title":["Object-Oriented Specification with the Parallel Multi-Label-Selective \u03bb-calculus"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Herrero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Oliver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"27_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the 13th Int. Conf. on Foundations of Software Technology and T.C.S.","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"H. A\u00eft-Kaci and J. Garrigue. Label-Selective \u03bb-Calculus: Syntax and Confluence. In Proc. of the 13\n                           \n                    th\n                  \n                           Int. Conf. on Foundations of Software Technology and T.C.S., volume 761 of LNCS. Springer-Verlag, Berlin, 1993."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"P. America, J. de Bakker, J. Kok, and J. Rutten. Operational Semantics of a Parallel Object-Oriented language. In Proc. of the 13\n                           \n                    th\n                  \n                           Symposium on Principles of Programming Languages, pages 194\u2013208, 1986.","DOI":"10.1145\/512644.512662"},{"key":"27_CR3","unstructured":"P. America and J. Rutten. A parallel object-oriented language: design and semantic foundations, pages 1\u201349. Willey Series in Parallel Computing. J. W. de Bakker, 1990."},{"key":"27_CR4","unstructured":"G. Berry and G. Boudol. The Chemical Abstract Machine. In Proc. of 20\n                           \n                    th\n                  \n                           ACM Annual Symp. on P. P. L., pages 81\u201393, ACM Press, 1993."},{"key":"27_CR5","first-page":"325","volume-title":"Proc. of II Jornadas de Inform\u00e1tica","author":"L. Climent","year":"1996","unstructured":"L. Climent, M. L. Llorens, and J. Oliver. Building an interpreter for label-selective \u03bb-calculus. In B. Clares, editor, Proc. of II Jornadas de Inform\u00e1tica, pages 325\u2013334. Asociaci\u00f6n Espa\u00f1ola de Inform\u00e1tica y Autom\u00e1tica, Almu\u00f1ecar (Spain), 1996."},{"key":"27_CR6","unstructured":"C. Herrero and J. Oliver. Object-oriented parallel label-selective \u03bb-calculus. BRICS Notes Series (NS-98-5), pages 7\u201315, 1998."},{"key":"27_CR7","unstructured":"C. Herrero and J. Oliver. Parallel multi-label-selective \u03bb-Calculus: An object-oriented proposal. Technical Report DSIC-II\/10\/99, UPV, 1999."},{"key":"27_CR8","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":"27_CR9","unstructured":"J. Oliver. Extension of \u03bb-calculus for Modelling Concurrent Processes. PhD thesis, DSIC (UPV), 1996."},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the \u03c0-calculus. In Information and Computation, volume 116, pages 253\u2013271. 1995.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","SOFSEM\u201999: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47849-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T12:42:18Z","timestamp":1550752938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47849-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666943","9783540478492"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-47849-3_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}