{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T11:19:16Z","timestamp":1648639156743},"reference-count":12,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1080\/00207169908804799","type":"journal-article","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T00:23:16Z","timestamp":1182817396000},"page":"137-159","source":"Crossref","is-referenced-by-count":2,"title":["A note on causal trees and their applications to CCS"],"prefix":"10.1080","volume":"71","author":[{"given":"Stefano","family":"Basagni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Causal Trees: An Application to CCS","author":"Basagni S.","year":"1995"},{"key":"CIT0002","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-53479-2_4","volume-title":"Semantics of Systems of Concurrent Processes","volume":"469","author":"Boudol G.","year":"1990"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"Boudol G. Castellani I.Permutation of Transition: an Event Structure Semantics for CCS and SCCS, in [12]411 427","DOI":"10.1007\/BFb0013028"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-53479-2_5","volume-title":"Semantics of Systems of Concurrent Processes","volume":"469","author":"Boudol G.","year":"1990"},{"key":"CIT0005","unstructured":"Darondeau, Ph. and Degano, P. 071989.Casual Trees, Proc. 16th ICALP, Edited by: Ausiello, G., Dezani-ciancaglini, M. and Ronchi Della Rocca, S. Vol. 372, 234\u2013248. Springer-Verlag, L.N.CS."},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/3-540-53479-2_10","volume-title":"Semantics of Systems of Concurrent Processes","volume":"469","author":"Darondeau Ph.","year":"1990"},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"Degano, P. and Priami, C. 1992.Proved Trees, Proc. 19th ICALP, Edited by: Kuich, W. Vol. 623, 629\u2013640. Spriger-Verlag. Wien, July","DOI":"10.1007\/3-540-55719-9_110"},{"key":"CIT0008","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","volume":"92","author":"Milner R.","year":"1980"},{"key":"CIT0009","first-page":"205","volume-title":"NATO ASI Series F","volume":"14","author":"Milner R.","year":"1984"},{"key":"CIT0010","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989"},{"key":"CIT0011","volume-title":"DAIMI Report FN\u201319","author":"Plotkin G.","year":"1981"},{"key":"CIT0012","volume-title":"Workshop on Linear Time, Branching Time and Partial Ordering in Logics and Models for Concurrency","volume":"354","author":"Rex school Proc","year":"1989"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207169908804799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T19:52:41Z","timestamp":1556567561000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207169908804799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["10.1080\/00207169908804799"],"URL":"https:\/\/doi.org\/10.1080\/00207169908804799","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}