{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:41Z","timestamp":1725487061189},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425229"},{"type":"electronic","value":"9783540447436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44743-1_27","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T02:23:38Z","timestamp":1183083818000},"page":"277-284","source":"Crossref","is-referenced-by-count":0,"title":["Concurrent Implementation of Structurally Synthesized Programs"],"prefix":"10.1007","author":[{"given":"Sven","family":"L\u00e4mmermann","sequence":"first","affiliation":[]},{"given":"Enn","family":"Tyugu","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Vlassov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"27_CR1","unstructured":"S. L\u00e4mmermann. Automated Composition of Java Software TRITA-IT AVH 00:03, ISSN 1403-5286. Dept. of Teleinformatics, KTH, 2000"},{"key":"27_CR2","first-page":"89","volume-title":"Automated program synthesis","author":"V. Malyshkin","year":"1983","unstructured":"V. Malyshkin. Principles of synthesis of parallel programs on computational models witth arrays. Automated program synthesis. Aad. Sci. of Estonian SSR, Tallinn, 1983, p. 89\u2013109."},{"key":"27_CR3","first-page":"282","volume":"3","author":"T. Plaks","year":"1977","unstructured":"T. Plaks. Synthesis of parallel programs on computational models. Programming and Computer Software. v. 3, 1977, p. 282\u2013290.","journal-title":"Programming and Computer Software"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0304-3975(91)90306-M","volume":"90","author":"E. Tyugu","year":"1991","unstructured":"E. Tyugu. Higher-Order Dataflow Schemas. Theoretical Computer Science, v. 90, 1991, 185\u2013198.","journal-title":"Theoretical Computer Science"},{"key":"27_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/3-540-48119-2_31","volume-title":"FM\u201999-Formal Methods","author":"E. Tyugu","year":"1999","unstructured":"E. Tyugu, M. Matskin, J. Penjam. Applications of structural synthesis of programs. In: J. Wing, J. Woodcock, J. Davies (Eds.) FM\u201999-Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Sept. 1999. vol. I, LNCS No. 1708, Springer, 1999, p. 551\u2013569"},{"issue":"4","key":"27_CR6","first-page":"305","volume":"17","author":"V. Vlassov","year":"1998","unstructured":"V. Vlassov, et al. NUTS: a Distributed Object-Oriented Platform with High Level Communication Functions. Computers and Artificial Intelligence, v. 17, No. 4, 1998, p. 305\u2013335.","journal-title":"Computers and Artificial Intelligence"},{"key":"27_CR7","unstructured":"Seif Haridi, Peter Van Roy. Mozart: A Programming System for Agent Applications. Research Report, Dept. of Teleinformatics, KTH, October 1999"},{"issue":"5","key":"27_CR8","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1145\/265943.265972","volume":"19","author":"P. Roy Van","year":"1997","unstructured":"Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer. Mobile Objects in Distributed Oz. ACM Transactions on Programming Languages and Systems (TOPLAS), 19(5): 804\u2013851 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44743-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T10:03:43Z","timestamp":1550397823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44743-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425229","9783540447436"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44743-1_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}