{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:17:22Z","timestamp":1742617042128,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179061"},{"type":"electronic","value":"9783540479260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17906-2_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:54Z","timestamp":1330197474000},"page":"466-498","source":"Crossref","is-referenced-by-count":2,"title":["Reduction, data flow and control flow models of computation"],"prefix":"10.1007","author":[{"given":"Werner","family":"Kluge","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"17_CR1","unstructured":"Arvind, W. Plouffe: \u2018The ID-Report: An Asyncronous Programming Language and Computing Machine'; Univ. Cal. Irvine Tech. Rep. 114, 1978"},{"key":"17_CR2","first-page":"613","volume":"21","author":"J. Backus","year":"1978","unstructured":"J. Backus: \u2018Can Programming be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs'; Comm. Ass. Comp. Mach. Vol. 21, pp. 613\u2013641, Aug. 1978","journal-title":"Comm. Ass. Comp. Mach."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"K. J. Berkling: \u2018Reduction Languages for Reduction Machines'; Proc. 2nd Ann. Symp. Comp. Arch. Jan. 20\u201322, 1975 ACM-IEEE 75CH0916-7C, pp. 133\u2013140","DOI":"10.1145\/642089.642112"},{"key":"17_CR4","unstructured":"A. Church: \u2018The Calculi of Lambda-conversion'; Annals Math. Studies; Princeton, N.I.; Princeton Univ. Press, 1941"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"J. B. Dennis, D. P. Misunas: \u2018A Preliminary Architecture for Basic Data Flow Processors'; Proc. 2nd Ann. Symp. Comp. Arch. Jan. 20\u201322, ACM\/IEEE 75CH0916-7C, pp. 126\u2013132","DOI":"10.1145\/642089.642111"},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"H. J. Genrich, K. Lautenbach: \u2018System Modelling with High-Level Petri-Nets'; Theor. Comp. Sci. Vol. 13, pp. 109\u2013136, 1981","journal-title":"Theor. Comp. Sci."},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","first-page":"76","volume-title":"Net Theory and Applications","author":"H. J. Genrich","year":"1980","unstructured":"H. J. Genrich, K. Lautenbach, P. S. Thiagarajan: \u2018Elements of General Net Theory: Predicate-Transition Nets'; Net Theory and Applications, Lecture Notes in Computer Science, No. 84, Berlin, W. Germany; Springer-Verlag, pp. 76\u201392, 1980"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume-title":"Net Theory and Applications","author":"H. J. Genrich","year":"1980","unstructured":"H. J. Genrich, E. Stankiewicz-Wiechno: \u2018A Dictionary of some Basic Notions of Net Theory'; Net Theory and Applications, Lecture Notes in Computer Science, No. 84, Berlin, W. Germany; Springer-Verlag, pp. 519\u2013539, 1980"},{"issue":"4","key":"17_CR9","first-page":"415","volume":"SE-9","author":"W. E. Kluge","year":"1983","unstructured":"W. E. Kluge, H. Schl\u00fctter: \u2018Petri-Net Models for the Evaluation of Applicative Programs Based on \u03bb-Expressions'; IEEE-TSE, Vol. SE-9, No. 4, pp. 415\u2013427, 1983","journal-title":"IEEE-TSE"},{"key":"17_CR10","unstructured":"W. E. Kluge: \u2018An Approach to Computer System Modeling Based on Petri-Nets'; in: \u2018Methodologics for Computer System Design', W.K. Giloi and B.D. Shriver (Ed.), North-Holland 1985, pp. 143\u2013159"},{"key":"17_CR11","unstructured":"E. Meijer: \u2018Petri-Net Models for the \u03bb-Calculus'; Proc. of the Seventh European Workshop on Application and Theory of Petri Nets, Oxford, England, June 30th\u2013July 2nd, 1986, pp. 285\u2013310"},{"key":"17_CR12","unstructured":"C. A. Petri: \u2018Concepts of Net Theory'; Math. Found. of Comp. Sci., Math. Inst. of Slovak Academy of Science, 1973"},{"issue":"1","key":"17_CR13","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/356869.356873","volume":"14","author":"P. C. Treleaven","year":"1982","unstructured":"P. C. Treleaven, D. R. Brownbridge, R. P. Hopkins: \u2018Data Driven and Demand Driven Computer Architecture'; ACM Comp. Surveys, Vol. 14, No. 1, pp. 93\u2013143, 1982","journal-title":"ACM Comp. Surveys"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"D. A. Turner: \u2018A New Implementation Technique for Applicative Languages'; Software-Practice and Experience, Vol. 9, pp. 31\u201349, 1979","journal-title":"Software-Practice and Experience"},{"key":"17_CR15","volume-title":"Programming Languages, Information Structures and Machine Organization","author":"P. Wegner","year":"1968","unstructured":"P. Wegner: \u2018Programming Languages, Information Structures and Machine Organization'; New York: McCraw Hill, 1968"}],"container-title":["Lecture Notes in Computer Science","Petri Nets: Applications and Relationships to Other Models of Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17906-2_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:34:53Z","timestamp":1742589293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}