{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:04:51Z","timestamp":1725573891905},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_37","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:35:57Z","timestamp":1294396557000},"page":"665-681","source":"Crossref","is-referenced-by-count":0,"title":["From Specification to Hardware Device: A Synthesis Algorithm"],"prefix":"10.1007","author":[{"given":"Vincenza","family":"Carchiolo","sequence":"first","affiliation":[]},{"given":"Michele","family":"Malgeri","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Mangioni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Carchiolo, V., Malgeri, M., Mangioni, G.: Hardware\/Software synthesis of formal specifications in Codesign of embedded systems. ACM Transactions on Design Automation of Electronic Systems (TODAES) 6 (January 2001)","key":"37_CR1","DOI":"10.1145\/348019.348093"},{"unstructured":"ISO-IS-8807. Information Processing Systems, Open System Interconnection, LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO (June 1988)","key":"37_CR2"},{"doi-asserted-by":"crossref","unstructured":"Faci, M., Logrippo, L.: Specifying Hardware in LOTOS. In: Proceedings of CHDL 1993, IFIP Conference on Hardware Description Languages and their Applications, Ottawa (April 1993)","key":"37_CR3","DOI":"10.1016\/B978-0-444-81641-2.50028-9"},{"key":"37_CR4","volume-title":"Formal Description Techniques, FORTE VII","author":"K.J. Turner","year":"1993","unstructured":"Turner, K.J.: DILL \u2013 Digital logic in LOTOS. In: Formal Description Techniques, FORTE VII, Boston. North-Holland, Amsterdam (October 1993)"},{"unstructured":"IEEE std 1076-1987. Standard VHDL Language Reference Manual. IEEE (1988)","key":"37_CR5"},{"doi-asserted-by":"crossref","unstructured":"Katagiri, H., Yasumoto, K., Higashino, T., Taniguchi, K.: Hardware implementation of communication protocols modeled by concurrent EFSM with multi-way synchronization. In: Proceedings of 37th Design Automation Conference, Los Angelese, CA (June 2000)","key":"37_CR6","DOI":"10.1145\/337292.337771"},{"key":"37_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of communicating systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"37_CR8","series-title":"International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"37_CR9","volume-title":"EATCS Monographs on Computer Science","author":"B. Mahr","year":"1985","unstructured":"Mahr, B., Ehrig, H.: Fundamentals of Algebraic Specifications. In: EATCS Monographs on Computer Science, vol.\u00a01. Springer, Heidelberg (1985)"},{"unstructured":"Mead, C., Conway, L.: introduction to VLSI systems. Haddison-Wesley (1980)","key":"37_CR10"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:43:27Z","timestamp":1559915007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}