{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:08Z","timestamp":1725663248161},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540504030"},{"type":"electronic","value":"9783540459996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50403-6_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:24:44Z","timestamp":1330201484000},"page":"307-319","source":"Crossref","is-referenced-by-count":2,"title":["An example of communicating production systems"],"prefix":"10.1007","author":[{"given":"Burkhard","family":"Igel","sequence":"first","affiliation":[]},{"given":"Georg","family":"Reichwein","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.; Can Programming Be Liberated from the von Neumann Style ? Comm. ACM, Vol 21, 1978, 613\u2013641","journal-title":"Comm. ACM"},{"key":"21_CR2","unstructured":"Brownston,L.,Farrell,R.,Kant,E,Martin,N.; Programming Expert Systems in OPS 5 \u2014 An Introduction to Rule-Based Programming? Addison Wesley, 1985"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-17184-3_38","volume":"242","author":"L. Cardelli","year":"1986","unstructured":"Cardelli, L.; Amber Lecture Notes in Comp. Science, Vol 242, 1986, 21\u201347","journal-title":"Lecture Notes in Comp. Science"},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-3-642-69298-7_6","volume":"73","author":"A.B. Cremers","year":"1983","unstructured":"Cremers, A.B.; Hibbard, T.N.;Applicative State Transition Systems in LISP-like Notation Informatik Fachberichte, Vol 73, Springer Verlag 1983, 51\u201366","journal-title":"Informatik Fachberichte"},{"key":"21_CR5","first-page":"341","volume-title":"A Programming Notation for Locally Synchronized Algorithms","author":"A.B. Cremers","year":"1985","unstructured":"Cremers, A.B.; Hibbard, T.N.: A Programming Notation for Locally Synchronized Algorithms; in Bertolazzi, P.; Luccio, F. (ed.) VLSI-Algoritms and Architectures; North Holland 1985, 341\u2013376"},{"key":"21_CR6","unstructured":"Cremers,A.B.; Igel,B.; Reichwein,G.; Distributed Rule-based AST-Systems IEEE Proc. Workshop on Future Trends of Distributed Computing Systems in the 90's, Hongkong 1988"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.; RETE. A Fast Algorithm for the Many Pattern\/ Many Object Pattern Match Problem; Artificial Intelligence, Vol.19, 1982, 17\u201337","journal-title":"Artificial Intelligence"},{"key":"21_CR8","unstructured":"Forgy, C.L.; The OPS83 Report Report CMU-CS-84-133, Carnegie-Mellon University, 1984"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Harel, D.; Algorithmics \u2014 The Spirit of Computing Addison Wesley, 1987","DOI":"10.1007\/978-3-642-27266-0"},{"key":"21_CR10","doi-asserted-by":"publisher","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 Comm. ACM, Vol 21, 1978, 666\u2013677","journal-title":"Comm. ACM"},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/MC.1987.1663697","volume":"9","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R.; An Overview of Some Formal Methods for Program Design IEEE Computer, Vol 9, 1987, 85\u201391","journal-title":"IEEE Computer"},{"key":"21_CR12","unstructured":"Igel,B.; Applicative Modelling of Embedded Systems in preparation"},{"key":"21_CR13","unstructured":"Igel, B.; Reichwein, G.; A Functional Subsystem for the Specification of Distributed Applicative State Transition Systems Report Dept. of Comp. Science VI, University of Dortmund, 1987"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Milner,R.; A Proposal for Standard ML ACM Symp. on Lisp and Funct. Progr.,184\u2013197, 1984","DOI":"10.1145\/800055.802035"},{"issue":"9","key":"21_CR15","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/32091.32095","volume":"22","author":"E. Nuutila","year":"1987","unstructured":"Nuutila, E.; Kuusela, J.; Tamminen, M.; Veilahti, J.; Arkko, J.; Bouteldja, N. XC \u2014 A Language for Embedded Rule Based Systems Sigplan Notices, Vol 22 #9, 1987, 23\u201332","journal-title":"Sigplan Notices"},{"issue":"4","key":"21_CR16","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/24714.24718","volume":"22","author":"A. Radensky","year":"1987","unstructured":"Radensky, A.; Lazy Evaluation and Nondeterminism Make Backus' FP-Systems More Practical Sigplan Notices, Vol 22 #4, 1987, 33\u201340","journal-title":"Sigplan Notices"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Radig,B.,Krickhahn,R.; Die Wissensrepr\u00e4sentationssprache OPS 5 \u2014 Sprachbeschreibung und Einf\u00fchrung in die regelorientierte Programmierung Vieweg, 1987","DOI":"10.1007\/978-3-322-85335-6"},{"key":"21_CR18","first-page":"63","volume":"255","author":"W. Reisig","year":"1987","unstructured":"Reisig, W.; Petri Nets in Software Engineering Lecture Notes in Comp. Science, Vol 255, 1987, 63\u201396","journal-title":"Lecture Notes in Comp. Science"},{"key":"21_CR19","unstructured":"Zave, P.; Exchange Functions: Interaction Primitives for Specifying Distributed Systems Techn. Report TM-82-11384-13, Bell Lab., 1982"}],"container-title":["Lecture Notes in Computer Science","CONCURRENCY 88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50403-6_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:16Z","timestamp":1605647896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50403-6_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540504030","9783540459996"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-50403-6_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}