{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:31Z","timestamp":1725663991601},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581840"},{"type":"electronic","value":"9783540484776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58184-7_137","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:29:53Z","timestamp":1330252193000},"page":"635-647","source":"Crossref","is-referenced-by-count":9,"title":["What do you get from a \u03c0-calculus semantics?"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Radestock","sequence":"first","affiliation":[]},{"given":"Susan","family":"Eisenbach","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"53_CR1","doi-asserted-by":"crossref","unstructured":"H.P. Barendregt, M.C.J.D van Eekelen, J.R.W.Glautt, J.R. Kennaway, M.J. Plasmeijer, and M.R.Sleep. Term graph rewriting. In PARLE'87 Proceedings, 1987.","DOI":"10.1007\/3-540-17945-3_8"},{"key":"53_CR2","unstructured":"N. Dulay. The Darwin configuration language. Imperial College Department of Computing Internal Report, March 1992."},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"S. Eisenbach and R. Patterson, \u03c0-calculus semantics for the concurrent configuration language darwin. In Proceedings of the 26th Annual Hawaii International Conference on System Sciences, volume 2. IEEE Computer Society Press, 1993.","DOI":"10.1109\/HICSS.1993.284080"},{"key":"53_CR4","unstructured":"M.S. Sloman J. Kramer, J. Magee and N. Dulay. Configuring object based distributed programs in rex. In IEE Software Engineering Journal, March 1992."},{"key":"53_CR5","unstructured":"N. Dulay J. Magee and J. Kramer. Structuring parallel and distributed programs. In Proceeding of IEE International Workshop on Configuring Distributed Systems, March 1992."},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"J. Kramer J. Magee and M. Sloman. Constructing distributed programs in conic. IEEE Transactions on Software Engineering, 15, 1989.","DOI":"10.1109\/32.24720"},{"key":"53_CR7","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"53_CR8","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. Technical Report ECS-LFCS 91-180, University of Edinburgh, October 1991."},{"key":"53_CR9","unstructured":"J. Magee, J. Kramer, and N. Dulay. Darwin\/mp: An environment for parallel and distributed programming. In Proceedings of the 26th Annual Hawaii International Conference on System Sciences, volume 2. IEEE Computer Society Press, 1993."},{"key":"53_CR10","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part i and ii. Technical Report ECS-LFCS 89-86\/87, University of Edinburgh, 1989."},{"key":"53_CR11","volume-title":"Conference on Theoretical Aspects of Computer Software","author":"D. Walker","year":"1991","unstructured":"D. Walker. \u03c0-calculus semantics of object-oriented programming languages. In Conference on Theoretical Aspects of Computer Software, Tohoku University, Japan, September 1991."}],"container-title":["Lecture Notes in Computer Science","PARLE'94 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58184-7_137.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:12Z","timestamp":1605629892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58184-7_137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581840","9783540484776"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-58184-7_137","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}