{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:16Z","timestamp":1761611296926},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543176"},{"type":"electronic","value":"9783540475583"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54317-1_104","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:40:20Z","timestamp":1330209620000},"page":"354-369","source":"Crossref","is-referenced-by-count":2,"title":["Parallel graph rewriting on loosely coupled machine architectures"],"prefix":"10.1007","author":[{"given":"M. C. J. D.","family":"Fekelen","sequence":"first","affiliation":[]},{"given":"M. J.","family":"Plasmeijer","sequence":"additional","affiliation":[]},{"given":"J. E. W.","family":"Smetsers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-17943-7_117","volume":"258","author":"N. Arvind","year":"1987","unstructured":"Arvind, Nikhil, Rishiyur S. (1987), \u2018Executing a Program on the MIT Tagged Token Dataflow Architecture', Proceedings of Parallel Architectures and Languages Europe (PARLE), part I, Eindhoven, The Netherlands. Springer Lec. Notes Comp. Sci. 258, 1\u201329.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"28_CR2","unstructured":"Barendregt, H. P. (1984), \u2018The Lambda Calculus, its Syntax and Semantics', Studies in Logic and the Foundations of Mathematics 103, North-Holland."},{"key":"28_CR3","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-17945-3_8","volume":"259","author":"H.P. Barendregt","year":"1987","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R. (1987a), \u2018Term Graph Reduction', Proceedings of Parallel Architectures and Languages Europe (PARLE), part II, Eindhoven, The Netherlands. Springer Lec. Notes Comp. Sci. 259, 141\u2013158.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"28_CR4","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-17945-3_9","volume":"259","author":"H.P. Barendregt","year":"1987","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R. (1987b), \u2018Towards an Intermediate Language based on Graph Rewriting', Proceedings of Parallel Architectures and Languages Europe (PARLE), part II, Eindhoven, The Netherlands. Springer Lec. Notes Comp. Sci. 259, 159\u2013175.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"28_CR5","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-18317-5_20","volume":"274","author":"T. Brus","year":"1987","unstructured":"Brus, T., Eekelen M.C.J.D. van, Leer M. van, Plasmeijer M.J. (1987), \u2018Clean \u2014 A Language for Functional Graph Rewriting', Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture (FPCA '87), Portland, Oregon, USA. Springer Lec. Notes Comp. Sci. 274, 364\u2013384.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"28_CR6","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1093\/comjnl\/30.5.437","volume":"30-5","author":"F.W. Burton","year":"1987","unstructured":"Burton, F.W. (1987), \u2018Functional Programming for Concurrent and Distributed Computing'. The Computer Journal 30-5, 437\u2013450.","journal-title":"The Computer Journal"},{"issue":"2","key":"28_CR7","doi-asserted-by":"crossref","first-page":"346","DOI":"10.2307\/1968337","volume":"33","author":"A. Church","year":"1932","unstructured":"Church, A. (1932\/3), \u2018A Set of Postulates for the Foundation of Logic', Annals of Math. (2) 33, 346\u2013366 and 34, 839\u2013864.","journal-title":"Annals of Math."},{"key":"28_CR8","unstructured":"Eekelen, M.C.J.D. van (1988), \u2018Parallel Graph Rewriting, Some Contributions to its Theory, its Implementation and its Application', Ph.D. Thesis, University of Nijmegen."},{"key":"28_CR9","unstructured":"Eekelen, M.C.J.D. van, N\u00f6cker, E.G.J.M.H., Plasmeijer, M.J., Smetsers, J.E.W. (1989), \u2018Concurrent Clean, Version 0.5', Technical Report 89-18, University of Nijmegen."},{"key":"28_CR10","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-18420-1_57","volume":"279","author":"M.C.J.D. Eekelen van","year":"1986","unstructured":"Eekelen, M.C.J.D. van, Plasmeijer, M.J. (1986), \u2018Specification of rewriting strategies in Term Rewriting Systems', Proceedings of the Workshop on Graph Reduction, Santa Fe, New Mexico. Springer Lec. Notes Comp. Sci. 279, 215\u2013239.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"28_CR11","unstructured":"Fasel, J.H., Keller, R.M. (1986). Proceedings of the Workshop on Graph Reduction, Santa Fe, New Mexico. Springer Lec. Notes Comp. Sci. 279."},{"key":"28_CR12","first-page":"509","volume":"5","author":"J.R.W. Glauert","year":"1987","unstructured":"Glauert, J.R.W., Kennaway, J.R., Sleep, M.R. (1987), \u2018DACTL: A Computational Model and Compiler Target Language Based on Graph Reduction', ICL Technical Journal 5, 509\u2013537.","journal-title":"ICL Technical Journal"},{"key":"28_CR13","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-18420-1_50","volume":"279","author":"J. Goguen","year":"1986","unstructured":"Goguen, J., Kirchner, C., Meseguer, J. (1986), \u2018Concurrent term rewriting as a model of computation', Proceedings of the Workshop on Graph Reduction, Santa Fe, New Mexico. Springer Lec. Notes Comp. Sci. 279, 53\u201394.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"28_CR14","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/2465.2468","volume":"28-1","author":"J.R. Gurd","year":"1985","unstructured":"Gurd, J.R., Kirkham, C.C., Watson, I. (1985), \u2018The Manchester Prototype Dataflow Computer', Communications of the ACM. 28-1, 34\u201352.","journal-title":"Communications of the ACM."},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Hudak, P., Smith, L. (1986), \u2018Para-functional Programming: A Paradigm for Programming Multiprocessor Systems', 12 th ACM Symp. on Principles of Programming Languages, 243\u2013254.","DOI":"10.1145\/512644.512667"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Johnson Th. (1984), \u2018Efficient compilation of lazy evaluation', Proceedings of the ACM SIGPLAN '84, Symposium on Compiler Construction. SIGPLAN Notices 19\/6.","DOI":"10.1145\/502949.502880"},{"key":"28_CR17","unstructured":"Klop, J.W. (1987), \u2018Term rewriting systems: a tutorial', Center for Mathematics and Computer Science, CWI Amsterdam. Note CS-N8701."},{"key":"28_CR18","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1109\/TC.1983.1676151","volume":"C-32\/11","author":"W.E. Kluge","year":"1983","unstructured":"Kluge, W.E. (1983), \u2018Cooperating reduction machines', IEEE Transactions on computers C-32\/11, 1002\u20131012.","journal-title":"IEEE Transactions on computers"},{"key":"28_CR19","unstructured":"Koopman, P., N\u00f6cker, E. (1988). \u2018Compiling Functional Languages to Term Graph Rewrite Systems', University of Nijmegen. Technical Report 88-1."},{"key":"28_CR20","first-page":"451","volume":"53","author":"E.G.J.M.H. N\u00f6cker","year":"1988","unstructured":"N\u00f6cker, E.G.J.M.H., (1988), \u2018Strictness Analysis Based on Abstract Reduction of Term Rewriting Systems', Proceedings of the Workshop on Implementation of Lazy Functional Languages, G\u00f6teborg, Sweden. Programming Methodology Group. 53, 451\u2013463.","journal-title":"Programming Methodology Group."},{"key":"28_CR21","unstructured":"N\u00f6cker, E.G.J.M.H., (1989), \u2018The PABC Simulator v0.5. Implementation Manual', University of Nijmegen, Technical Report 89-19."},{"key":"28_CR22","unstructured":"N\u00f6cker, E.G.J.M.H., Smetsers, J.E.W., (1990), \u2018Partially Strict Data Types', Proceedings of the Second International Workshop on Implementations of Functional Languages on Distributed Architectures, University of Nijmegen, November 1990."},{"key":"28_CR23","unstructured":"Plasmeijer, M.J., Eekelen, M.C.J.D. van (1991), \u2018Functional Programming and Parallel Graph Rewriting', Lecture notes, University of Nijmegen, to appear at Addison Wesley 1991."},{"key":"28_CR24","unstructured":"Smetsers, J.E.W., (1989), \u2018Compiling Clean to Abstract ABC-Machine Code', University of Nijmegen, Technical Report 89-20."},{"key":"28_CR25","unstructured":"Smetsers, J.E.W., (1991), \u2018Operational semantics of Concurrent Clean', University of Nijmegen. Technical report: in preparation."},{"key":"28_CR26","unstructured":"Vree, W.G., Hartel, P.H. (1988), \u2018Parallel graph reduction for divide-and-conquer applications; Part I \u2014 programme transformations', University of Amsterdam. Internal Report D-15."}],"container-title":["Lecture Notes in Computer Science","Conditional and Typed Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54317-1_104.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:30Z","timestamp":1605646410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54317-1_104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543176","9783540475583"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-54317-1_104","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}