{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:34:49Z","timestamp":1725878089613},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319522272"},{"type":"electronic","value":"9783319522289"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-52228-9_5","type":"book-chapter","created":{"date-parts":[[2017,1,9]],"date-time":"2017-01-09T23:23:43Z","timestamp":1484004223000},"page":"93-113","source":"Crossref","is-referenced-by-count":0,"title":["A Denotational Semantics for Parameterised Networks of Synchronised Automata"],"prefix":"10.1007","author":[{"given":"Siqi","family":"Li","sequence":"first","affiliation":[]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,11]]},"reference":[{"key":"5_CR1","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Finite Transition Systems - Semantics of Communicating Systems","author":"A Arnold","year":"1994","unstructured":"Arnold, A.: Finite Transition Systems - Semantics of Communicating Systems. Prentice Hall International Series in Computer Science. Prentice Hall, Upper Saddle River (1994)"},{"issue":"1\u20132","key":"5_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s12243-008-0069-7","volume":"64","author":"T Barros","year":"2009","unstructured":"Barros, T., Ameur-Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed fractal components. Ann. des T\u00e9l\u00e9commun. 64(1\u20132), 25\u201343 (2009)","journal-title":"Ann. des T\u00e9l\u00e9commun."},{"issue":"1\u20132","key":"5_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s12243-008-0068-8","volume":"64","author":"F Baude","year":"2009","unstructured":"Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, V., Henrio, L., P\u00e9rez, C.: GCM: a grid extension to fractal for autonomous distributed components. Ann. des T\u00e9l\u00e9commun. 64(1\u20132), 5\u201324 (2009)","journal-title":"Ann. des T\u00e9l\u00e9commun."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Henrio, L., Madelaine, E., Zhang, M.: pNets: an expressive model for parameterised networks of processes. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4\u20136, 2015, pp. 492\u2013496 (2015)","DOI":"10.1109\/PDP.2015.70"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-39570-8_12","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"L Henrio","year":"2016","unstructured":"Henrio, L., Madelaine, E., Zhang, M.: A theory for the composition of concurrent processes. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 175\u2013194. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-39570-8_12"},{"key":"5_CR6","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Unifying Theories of Programming","author":"CAR Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science. Prentice Hall, Upper Saddle River (1998)"},{"issue":"3","key":"5_CR7","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/0890-5401(88)90020-X","volume":"79","author":"R Koymans","year":"1988","unstructured":"Koymans, R., Shyamasundar, R., de Roever, W., Gerth, R., Arun-Kumar, S.: Compositional semantics for real-time distributed computing. Inf. Comput. 79(3), 210\u2013256 (1988)","journal-title":"Inf. Comput."},{"key":"5_CR8","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Upper Saddle River (1989)"},{"key":"5_CR9","unstructured":"Nierstrasz, O.: Piccola - a small composition language. In: Object-Oriented Technology, ECOOP 1999, Workshop Reader, ECOOP 1999 Workshops, Panels, and Posters, Lisbon, Portugal, June 14\u201318, 1999, Proceedings, p. 317 (1999)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Rajan, A., Bavan, S., Abeysinghe, G.: Semantics for a distributed programming language using SACS and weakest pre-conditions. In: International Conference on Advanced Computing and Communications, ADCOM 2006, pp. 434\u2013439, December 2006","DOI":"10.1109\/ADCOM.2006.4289931"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.-B.: The Kell calculus: a family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146\u2013178. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31794-4_9"}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52228-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:45:57Z","timestamp":1498362357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52228-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319522272","9783319522289"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52228-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}