{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T19:12:29Z","timestamp":1648667549807},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,4,13]],"date-time":"2016-04-13T00:00:00Z","timestamp":1460505600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s11432-016-5557-1","type":"journal-article","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T10:14:04Z","timestamp":1460715244000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a bisimulation theory for open synchronized networks of automata"],"prefix":"10.1007","volume":"59","author":[{"given":"Eric","family":"Madelaine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Min","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,13]]},"reference":[{"key":"5557_CR1","first-page":"50","volume-title":"Proceedings of 7th International Conference on Concurrency Theory","author":"H M Lin","year":"1996","unstructured":"Lin H M. Symbolic transition graph with assignment. In: Proceedings of 7th International Conference on Concurrency Theory, Pisa, 1996. 50\u201365"},{"key":"5557_CR2","volume-title":"Dissertation for the Doctoral Degree","author":"J Rathke","year":"1997","unstructured":"Rathke J. Symbolic techniques for value-passing calculi. Dissertation for the Doctoral Degree. University of Sussex, 1997"},{"key":"5557_CR3","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R Simone de","year":"1985","unstructured":"de Simone R. Higher-level synchronizing devices in Meije-SCCS. Theor Comput Sci, 1985, 37: 245\u2013267","journal-title":"Theor Comput Sci"},{"key":"5557_CR4","first-page":"262","volume-title":"Proceedings of 4th Workshop on Expressiveness in Concurrency","author":"A Resink","year":"1997","unstructured":"Resink A. Bisimilarity of open terms. In: Proceedings of 4th Workshop on Expressiveness in Concurrency, Santa Margherita Ligure, 1997. 262\u2013285"},{"key":"5557_CR5","first-page":"492","volume-title":"Proceedings of 23rd Euromicro International Conference on Parallel","author":"L Henrio","year":"2015","unstructured":"Henrio L, Madelaine E, Zhang M. pNets: an expressive model for parameterised networks of processes. In: Proceedings of 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Turku, 2015. 492\u2013496"},{"key":"5557_CR6","volume-title":"Finite Transition Systems: Semantics of Communicating Systems","author":"A Arnold","year":"1994","unstructured":"Arnold A. Finite Transition Systems: Semantics of Communicating Systems. Hertfordshire: Prentice-Hall, 1994"},{"key":"5557_CR7","first-page":"180","volume-title":"Proceedings of 7th International Symposium on Formal Methods for Components and Objects","author":"A Cansado","year":"2008","unstructured":"Cansado A, Madelaine E. Specification and Verification for Grid Component-based Applications: from Models to Tools. In: Proceedings of 7th International Symposium on Formal Methods for Components and Objects, Sophia Antipolis, 2008. 180\u2013203"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-016-5557-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-016-5557-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-016-5557-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:41:08Z","timestamp":1559403668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-016-5557-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,13]]},"references-count":7,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["5557"],"URL":"https:\/\/doi.org\/10.1007\/s11432-016-5557-1","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,13]]},"article-number":"050107"}}