{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:29Z","timestamp":1725664889382},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625032"},{"type":"electronic","value":"9783540680529"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62503-8_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:40:22Z","timestamp":1330278022000},"page":"116-125","source":"Crossref","is-referenced-by-count":0,"title":["Formalising and prototyping a concurrent object-based language"],"prefix":"10.1007","author":[{"given":"Lars -\u00e5ke","family":"Fredlund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jari","family":"Koistinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fredrik","family":"Orava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"issue":"7","key":"6_CR2","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1109\/71.238301","volume":"4","author":"N. H. Gehani","year":"1993","unstructured":"N. H. Gehani. Capsules: A shared memory access mechanism for concurrent C\/C++. IEEE Transactions on Parallel and Distributed Systems, 4(7): 795\u2013811, July 1993.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"C.B. Jones. A pi-calculus semantics for an object based design notation. In E. Best, editor, Proc. CONCUR'93 4th International Conference on Concurrency Theory, volume 715 of Lecture Notes in Computer Science, pages 158\u2013172. Springer Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_12"},{"key":"6_CR4","unstructured":"J. Koistinen and E. Wennmyr. Delos\/SM: A language for structuring of coarse-grained modules, specifications and interfaces. In Proc. 1995 International Switching Symposium, Berlin, 1995."},{"key":"6_CR5","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"6_CR6","volume-title":"Technical Report ECS-LFCS-91-180","author":"R. Milner","year":"1991","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. Technical Report ECS-LFCS-91-180, LFCS, Dept. of Computer Science, University of Edinburgh, 1991. Also available in Proc. of the International Summer School on Logic and Algebra of Specification, Marktoberdorf, August 1991."},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part I and II. Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"6_CR8","unstructured":"M. Papathomas. Language design rationale and semantic framework for concurrent object-oriented programming. PhD thesis, University of Geneva, 1992."},{"key":"6_CR9","series-title":"number 907 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BFb0026570","volume-title":"Theory and Practice of Parallel Programming (TPPP)","author":"B.C. Pierce","year":"1995","unstructured":"B.C. Pierce and D.N. Turner. Concurrent objects in a process calculus. In Takayasu Ito and Akinori Yonezawa, editors, Theory and Practice of Parallel Programming (TPPP), Sendai, Japan (Nov. 1994), number 907 in Lecture Notes in Computer Science, pages 187\u2013215. Springer-Verlag, 1995."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"J. Reppy. CML: A higher-order concurrent language. In Programming Language Design and Implementation, pages 293\u2013259. SIGPLAN, ACM, 1991.","DOI":"10.1145\/113446.113470"},{"key":"6_CR11","unstructured":"D. Sangiorgi. An interpretation of typed objects into typed \u03c0-calculus. Manuscript, July 1996."},{"key":"6_CR12","unstructured":"B. Thomsen, L. Leth, S. Prasad, T.-S. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile antigua release \u2014 programming guide. Technical Report ECRS-93-20, ECRC, 1993."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"F.W. Vaandrager. Process algebra semantics of POOL. In J.C.M. Baeten, editor, Applications of Process Algebra, pages 173\u2013236. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511608841.010"},{"key":"6_CR14","unstructured":"D. Walker. Process calculus and parallel object-oriented programming languages. In P. Tvrdik, T. Casavant, and F. Plasil, editors, Parallel Computers: Theory and Practice, pages 369\u2013390. Computer Society Press, 1993. Available as Research Report CS-RR-242, Department of Computer Science, University of Warwick."},{"issue":"2","key":"6_CR15","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the \u03c0-calculus. Journal of Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Journal of Information and Computation"},{"key":"6_CR16","unstructured":"Y. Yokote and M. Tokoro. Concurrent programming in Concurrent Smalltalk. In M. Tokoro, editor, Object-oriented concurrent programming, pages 129\u2013158. MIT Press, 1987."}],"container-title":["Lecture Notes in Computer Science","Analysis and Verification of Multiple-Agent Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62503-8_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:13:08Z","timestamp":1605629588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62503-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625032","9783540680529"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-62503-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}