{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:59Z","timestamp":1725663659693},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_102","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:48:22Z","timestamp":1330192102000},"page":"393-407","source":"Crossref","is-referenced-by-count":8,"title":["Distributed CCS"],"prefix":"10.1007","author":[{"given":"Padmanabhan","family":"Krishnan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"28_CR1","unstructured":"G. Berry and G. Boudol. The Chemical Abstract Machine. Technical Report 1133, INRIA-Sophia Antipolis, December 1989."},{"key":"28_CR2","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":"28_CR3","first-page":"39","volume":"2","author":"A.D. Birrell","year":"1981","unstructured":"A.D. Birrell and B.J. Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(4):39\u201359, February 1981.","journal-title":"ACM Transactions on Computer Systems"},{"key":"28_CR4","unstructured":"K. L. Clark and S Gregory. PARLOG:A Parallel Logic Programming Language. Technical Report 5, Imperial College, May 1983."},{"issue":"4","key":"28_CR5","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":"28_CR6","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallelsim and Programming: A Perspective. In Foundations of Software Technology and Theoretical Computer Science, LNCS 287, pages 173\u2013194. Springer Verlag, 1987.","DOI":"10.1007\/3-540-18625-5_50"},{"key":"28_CR7","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":"28_CR8","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. DeNicola","year":"1984","unstructured":"R. DeNicola and M. C. B. Hennessy. Testing Equivalences for Processes. Theoretical Computer Science, 34:83\u2013133, 1984.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"28_CR9","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Language and Systems, 7(1):80\u2013112, Jan 1985.","journal-title":"ACM Transactions on Programming Language and Systems"},{"issue":"8","key":"28_CR10","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/MC.1986.1663309","volume":"19","author":"P. Hudak","year":"1986","unstructured":"P. Hudak. Parafunctional Programming. IEEE Computer, 19(8):60\u201371, 1986.","journal-title":"IEEE Computer"},{"key":"28_CR11","unstructured":"INMOS Ltd. occam-2 Reference Manual. Prentice Hall, 1988."},{"key":"28_CR12","unstructured":"A. Kiehn, M. Hennessy, I. Castellani, and G. Boudol. Observing Localities. In Workshop on Concurrency and Compositionality: Goslar, 1991."},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"B. Liskov and L. Shrira. Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. SIGPLAN Conference on Programming Language Design and Implementation, pages 260\u2013267, 1988.","DOI":"10.1145\/53990.54016"},{"key":"28_CR14","unstructured":"S. T. March, editor. ACM Computing Surveys, volume 21,3. ACM, 1989."},{"key":"28_CR15","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":"28_CR16","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":"28_CR17","unstructured":"G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"R. Russell. The CRAY-1 Computer System. CACM, January 1978.","DOI":"10.1145\/359327.359336"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"P. Treleaven, D. Brownbridge, and R. Hopkins. Data Driven and Demand Driven Computer Architectures. ACM Computing Surveys, 14(1), 1982.","DOI":"10.1145\/356869.356873"},{"key":"28_CR20","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","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_102.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:54:18Z","timestamp":1605628458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_102","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}