{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:13Z","timestamp":1725663613034},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194262"},{"type":"electronic","value":"9783540392675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19426-6_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:10:46Z","timestamp":1330200646000},"page":"50-68","source":"Crossref","is-referenced-by-count":0,"title":["Mendels: Concurrent program synthesis system using temporal logic"],"prefix":"10.1007","author":[{"given":"Naoshi","family":"Uchihira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazunori","family":"Matsumoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinichi","family":"Honiden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hideo","family":"Nakamura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Andler, S., Predicate Path Expres-sion, Proc. of ACM 6th POPL, 1979.","DOI":"10.1145\/567752.567774"},{"key":"4_CR2","unstructured":"Chikayama, T., Unique features of ESP, Proc. of the international conference on FGCS1984, 1984."},{"key":"4_CR3","unstructured":"Gonzalez,J.P., Urban,J.E., ENVISAGER: A Visual, Object-Oriented Specification Environment for Real-Time Systems, Proc of 4th International Workshop on Software Specification and Design, 1987."},{"key":"4_CR4","unstructured":"Fusaoka, A. and Takahashi, K., On QFTL and the refutation procedure on w-graphs, ICOT Technical Report TR-132, 1985."},{"issue":"1","key":"4_CR5","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z. and Wolper, P., Synthesis of communicating processes from temporal logic specification, ACM Trans. on Programming Languages and Systems, Vol.6, No.1, pages 68\u201393, 1984.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, E. M. and Emerson, E. A., Design and synthesis of synchro-nization skeletons using branching time temporal logic, Logics of programs (Proceedings 1981), Lecture Notes in Computer Science 131, Springer-Verlag, pages 52\u201371, 1982.","DOI":"10.1007\/BFb0025774"},{"key":"4_CR7","unstructured":"Fujita, M., Tanaka, H., and Moto-oka, T., Specifying hardware in temporal logic & efficient synthesis of state-diagrams using Prolog, Proc. of FGCS'84, 1984."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Katai, O. and Iwai, S., Construction of Scheduling Rules for Asynchronous, Concurrent Systems Based on Tense Logic (in Japanese), Trans. of SICE (Japan) vol.18 no.12, 1982.","DOI":"10.9746\/sicetr1965.18.1180"},{"key":"4_CR9","unstructured":"Habermann, A. N., Introduction to Operating System Design, SRA, 1976."},{"key":"4_CR10","unstructured":"Honiden, S., Uchihira, N., and Kasuya, T., MENDEL: PROLOG BASED CONCURRENT OBJECT ORIENTED LANGUAGE, Proc. of COMPCON'86, pages 230\u2013234, 1986."},{"key":"4_CR11","unstructured":"Occam Programming manual, INMOS Ltd., 1983."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF02432150","volume":"2","author":"D. A. Plaisted","year":"1986","unstructured":"Plaisted, D. A., A Decision Procedure for Combinations of Propositional Temporal Logic and Other Specialized Theories, Journal of Automated Reasoning, 2, pages171\u2013190, 1986.","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR13","unstructured":"Taki, T. et al., Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI), Proc. of the international conference on FGCS1984, 1984."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Tamura,S.,et al., Development of Intellectual Distributed Processing System, Proc. of IFAC 10th World Congress, 1987.","DOI":"10.1007\/978-3-642-46609-0_14"},{"key":"4_CR15","unstructured":"Uchihira, T., Kasuya, T., Matsumoto,K., and Honiden, S., Concurrent Program Synthesis with Reusable Components Using Temporal Logic, Proc of COMPSAC87, 1987."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Moszkowski, B., Executing temporal logic programs, Cambridge Univ. Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"4_CR17","unstructured":"Wolper, P., Synthesis of communicating processes from temporal logic specification, STAN-CS-82-925, Stanford University, 1982."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Wolper, P., Expressing Interesting Properties of Program in Propositional Temporal Logic, Proc of POPL, 1986.","DOI":"10.1145\/512644.512661"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19426-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:17:14Z","timestamp":1605644234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19426-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194262","9783540392675"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-19426-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}