{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:45Z","timestamp":1725663885894},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:19Z","timestamp":1330208419000},"page":"215-240","source":"Crossref","is-referenced-by-count":3,"title":["Introducing a calculus of trees"],"prefix":"10.1007","author":[{"given":"S.","family":"Kasangian","sequence":"first","affiliation":[]},{"given":"S.","family":"Vigna","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"13_CR1","unstructured":"J. B\u00e9nabou. Lectures held at the Mathematics and Computer Science Departments of the University of Milano, and talk at the Category Theory '90 Conference in Como. 1990."},{"issue":"1","key":"13_CR2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1):77\u2013121, 1985.","journal-title":"Theoretical Computer Science"},{"key":"13_CR3","unstructured":"P. Degano, S. Kasangian, and S. Vigna. Applications of the calculus of trees to process description languages. Submitted."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"S. Kasangian and A. Labella. Continuous time agents. To appear in Proceedings MFPS '91.","DOI":"10.1007\/3-540-55511-0_20"},{"key":"13_CR5","unstructured":"S. Kasangian and A. Labella. Enriched categorical semantics for distributed calculi. Journal of Pure and Applied Algebra, 1990. To appear."},{"key":"13_CR6","unstructured":"D.E. Knuth. The Art of Computer Programming. Addison-Wesley, 1973."},{"key":"13_CR7","unstructured":"S. Kansangian and S. Vigna. Trees in a distributive category. To appear in Proceedings CT '90."},{"key":"13_CR8","unstructured":"S. Mac Lane and G. Birkhoff. Algebra. Macmillan, 1967."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0304-3975(84)90112-9","volume":"34","author":"G. Winskel","year":"1984","unstructured":"G. Winskel. Synchronization trees. Theoretical Computer Science, 34:33\u201382, 1984.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:06Z","timestamp":1619572686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}