{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:53Z","timestamp":1725663773606},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T04:56:43Z","timestamp":1330232203000},"page":"307-320","source":"Crossref","is-referenced-by-count":1,"title":["A semantics for multiprocessor systems"],"prefix":"10.1007","author":[{"given":"Padmanabhan","family":"Krishnan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"18_CR1","unstructured":"G. Berry and G. Boudol. The Chemical Abstract Machine. Technical Report 1133, INRIA-Sophia Antipolis, December 1989."},{"key":"18_CR2","unstructured":"G. Boudol and I. Castellani. On Semantics of Concurrency: Partial Orders and Transition Systems. In Proceedings of the Internation Joint Conference on TAPSOFT: LNCS 249. Springer Verlag, 1987."},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J. P. Banatre","year":"1988","unstructured":"J. P. Banatre, A. Coutant, and D. Metayer. A Parallel Machine for Multiset Transformation and its Programming Style. Future Generation Computer Systems, 4:133\u2013144, 1988.","journal-title":"Future Generation Computer Systems"},{"issue":"4","key":"18_CR4","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1145\/76359.76369","volume":"36","author":"I. Castellani","year":"1989","unstructured":"I. Castellani and M. Hennessy. Distributed Bisimulations. Journal of the Association for Computing Machinery, 36(4):887\u2013911, October 1989.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"P. Degano, R. DeNicola, and U. Montanari. A Distributed Operational Semantics for CCS Based on Condition\/Event Systems. Acta Informatica, 26:59\u201391, 1988.","journal-title":"Acta Informatica"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"A. Jones and P. Schwarz. Experience using multiprocessor systems \u2014 A status report. ACM Computing Surveys, 12(2), 1980.","DOI":"10.1145\/356810.356813"},{"key":"18_CR7","unstructured":"A. Kiehn, M. Hennessy, I. Castellani, and G. Boudol. Observing localities. In Mathematical Foundations of Computer Science(MFCS), 1991."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"P. Krishnan. Distributed CCS. In Theories of Concurrency: Unification and Extension: CONCUR-91, LNCS:527, August 1991.","DOI":"10.1007\/3-540-54430-5_102"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. Lecture Notes on Computer Science Vol. 92. Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner. Calculus for Synchrony and Asynchrony. Theoretical Computer Science, 25:267\u2013310, 1983.","journal-title":"Theoretical Computer Science"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"D. Park. Concurrency and Automata on Infinite Sequences. In Proceedings of the 5th GI Conference, LNCS-104. Springer Verlag, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"18_CR12","unstructured":"G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"V. Pratt. Modelling Concurrency with Partial Orders. International Journal of Parallel Programming, 15(1), 1986.","DOI":"10.1007\/BF01379149"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"A. Salwicki and T. Muldner. On the Algorithmic Properties of Concurrent Programs. In LNCS-125. Springer Verlag, 1982.","DOI":"10.1007\/3-540-11160-3_6"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek and F. W. Vaandrager. Petri Net Models for Algebraic Theories of Concurrency. In J. W. deBakker, A. J. Nijman, and P. C. Treleaven, editors, PARLE-II, LNCS 259. Springer Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_13"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:25Z","timestamp":1605628705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}