{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:34:43Z","timestamp":1743104083701,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573968"},{"type":"electronic","value":"9783540481331"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0018658","type":"book-chapter","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T01:24:01Z","timestamp":1140139441000},"page":"287-299","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Architecture independence and coordination"],"prefix":"10.1007","author":[{"given":"Julian","family":"Padget","sequence":"first","affiliation":[]},{"given":"Duncan","family":"Batey","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Merrall","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"15_CR1","unstructured":"Ban\u00e2tre, J. P. and Le Metayer, D. A New Computational Model and its Discipline of Programming. INRIA Research Report, 566, 1986."},{"key":"15_CR2","volume-title":"Programming by Multiset Transformation","author":"J. P. Ban\u00e2tre","year":"1990","unstructured":"Ban\u00e2tre, J. P. and Le Metayer, D. Programming by Multiset Transformation. IRISA, Campus Universitaire de Beaulieu, 35042-Rennes Cedex, France, March 1990."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Ban\u00e2tre, J. P. and Le Metayer, D. Introduction to GAMMA, pages 197\u2013202. Proc. of Workshop on Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 1991. LNCS 574.","DOI":"10.1007\/3-540-55160-3"},{"key":"15_CR4","volume-title":"Towards A Virtual Multicomputer","author":"D. J. Batey","year":"1993","unstructured":"Batey, D. J. and Padget, J. A. Towards A Virtual Multicomputer. Proc. of Workshop on Heterogeneous Processing at the 7th International Parallel Processing Symposium, University of Southern California, Newport Beach, CA, April 1993."},{"key":"15_CR5","unstructured":"Batey, D.J. DPL \u2014 A Distributed Implementation of Paralation Lisp. Bath Mathematics and Computer Science Technical Report, 92\u201360, June 1992."},{"issue":"8","key":"15_CR6","first-page":"27","volume":"35","author":"G. Bell","year":"1992","unstructured":"Bell, G. Ultracomputers: A Teraflop Before Its Time, volume 35(8), pages 27\u201347. Communications of the ACM, August 1992.","journal-title":"Ultracomputers: A Teraflop Before Its Time"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Berry, G. and Boudol, G. The Chemical Abstract Machine. In 1990 ACM Conference on Principle of Programming Languages, pages 81\u201394. ACM, ACM Press, 1990.","DOI":"10.1145\/96709.96717"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Boehm, H-J. Type inference in the presence of type abstraction. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 192\u2013206. ACM, ACM Press, 1989.","DOI":"10.1145\/74818.74835"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Broadbery, P.A. and Burdorf, C. Applications of Telos. Lisp and Symbolic Computation, 6(1\u20132), 1993.","DOI":"10.1007\/BF01025918"},{"key":"15_CR10","unstructured":"Butcher, P.R.A. Lucinda, General Purpose Programming for Parallel Distributed Systems. PhD thesis, University of York, 1993. in preparation."},{"issue":"8","key":"15_CR11","first-page":"81","volume":"35","author":"D. Cann","year":"1992","unstructured":"Cann, D. Retire Fortran?, volume 35(8), pages 81\u201389. Communications of the ACM, August 1992.","journal-title":"Retire Fortran?"},{"key":"15_CR12","unstructured":"Chandy, K. M. and Misra, J. Parallel Program Design: A Foundation. Addison Wesley Publishing Company, 1988."},{"key":"15_CR13","unstructured":"Dietz, H. Common Subexpression Induction. MasPar Corporation, March 1992. Unpublished."},{"key":"15_CR14","unstructured":"Dietz, H. and Cohen, W. The MasPar MP-1 Is A MIMD? MasPar Corporation, 1992. Unpublished."},{"key":"15_CR15","unstructured":"Geist, G. and Sunderam, V. Network Based Concurrent Computing on the PVM System. Oak Ridge National Laboratory, 1991."},{"key":"15_CR16","first-page":"97","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D. and Carriero, N. Coordination Languages and their Significance, volume 35, pages 97\u2013107. Communications of the ACM, Feb 1992.","journal-title":"Coordination Languages and their Significance"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Halstead, R.H. Multilisp: A Language for Concurrent Symbolic Computation. ACM Transactions on Programming Languages and Systems, 7(4), October 1985.","DOI":"10.1145\/4472.4478"},{"issue":"11","key":"15_CR18","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R. Communicating sequential processes. Communication of the ACM, 21(11):666\u2013667, August 1978.","journal-title":"Communication of the ACM"},{"key":"15_CR19","volume-title":"Prentice-Hall International Series in Computer Science","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. Prentice-Hall, London, 1985."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Hudak, P. and Mohr, E. Graphinators and Duality of MIMD-SIMD, pages 224\u2013235. ACM Conference on Lisp and Functional Programming, 1988.","DOI":"10.1145\/62678.62714"},{"key":"15_CR21","unstructured":"Hutchinson, D.J.C. Lisp meets Linda. In EUROPAL Workshop on High Performnce and Parallel Computing in Lisp. 1990."},{"issue":"33","key":"15_CR22","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D. Jefferson","year":"1985","unstructured":"Jefferson, D. Virtual time. ACM Transactions on Programming Languages and Systems, 7(33):404\u2013425, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR23","volume-title":"The VSA Definition","author":"C. R. Jesshope","year":"1990","unstructured":"Jesshope, C. R. and Flanders, P. M. The VSA Definition. Available from AMT Ltd., Reading, UK, 1990."},{"key":"15_CR24","unstructured":"Merrall, S. The Art of Memory. PhD thesis, University of Bath, School of Mathematical Sciences, 1994. in preparation."},{"key":"15_CR25","unstructured":"Merrall, S. C. and Padget, J. A. Bridging the MIMD-SIMD Gap. Proc. of BCS Workshop on Abstract Parallel Models, 1991."},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Padget, J.A., Nuyens, G., and Bretthauer, H. An Overview of EuLisp. Lisp and Symbolic Computation, 6(1\u20132), 1993.","DOI":"10.1007\/BF01025915"},{"key":"15_CR27","volume-title":"The Paralation Model: Architecture Independent SIMD Programming","author":"G. W. Sabot","year":"1988","unstructured":"Sabot, G. W. The Paralation Model: Architecture Independent SIMD Programming. MIT Press, Cambridge, MA, 1988."},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Steele, G. L., Jr., and Hillis, W. D. Connection Machine Lisp: Fine-Grained Parallel Symbolic Processing, pages 279\u2013297. ACM Conference on Lisp and Functional Programming, 1986.","DOI":"10.1145\/319838.319870"},{"issue":"4","key":"15_CR29","first-page":"315","volume":"2","author":"V. S. Sunderam","year":"1990","unstructured":"Sunderam, V. S. PVM: A Framework for Parallel Distributed Computing, volume 2(4), pages 315\u2013339. Concurrency: Practice and Experience, Dec 1990.","journal-title":"PVM: A Framework for Parallel Distributed Computing"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Wagner, D.B. and Calder, B.G. Leapfrogging: A Portable Technique for Implementing Efficient Futures. In Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 208\u2013217. ACM, ACM Press, 1993.","DOI":"10.1145\/173284.155354"}],"container-title":["Lecture Notes in Computer Science","Parallel Symbolic Computing: Languages, Systems, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T12:29:08Z","timestamp":1580300948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018658"}},"subtitle":["Preliminary version"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573968","9783540481331"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/bfb0018658","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}