{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:59Z","timestamp":1725490199920},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678977"},{"type":"electronic","value":"9783540446187"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44618-4_4","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:38:51Z","timestamp":1188311931000},"page":"29-47","source":"Crossref","is-referenced-by-count":8,"title":["Formal Models for Communication-Based Design"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Sgroi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"F. Balarin and al. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"4_CR2","unstructured":"J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, Special issue on Simulation Software Development, Jan. 1990."},{"issue":"12","key":"4_CR3","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E. A. Lee","year":"1998","unstructured":"E. A. Lee and A. L. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217\u201329, December 1998.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"4_CR4","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In Proceedings IFIP Congress, Aug. 1974."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"E. A. Lee and D. G. Messerschmitt. Synchronous data flow. IEEE Proceedings, Sept. 1987.","DOI":"10.1109\/PROC.1987.13876"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice petri nets. In Proceedings of the Design Automation Conference, June 1999.","DOI":"10.1145\/309847.310073"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"J. Rowson and A. Sangiovanni-Vincentelli. Interface-based design. In Proceedings of the Design Automation Conference, pages 178\u2013183, 1997.","DOI":"10.1109\/DAC.1997.597140"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of the Design Automation Conference, pages 8\u201313, June 1998.","DOI":"10.1145\/277044.277047"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"M. Sgroi, J. da Silva Jr., F. D. Bernardinis, F. Burghardt, A. Sangiovanni-Vincentelli, and J. Rabaey. Designing Wireless Protocols: Methodology and Applications. In Proceedings of the ICASSP Conference, June 2000.","DOI":"10.1109\/ICASSP.2000.860212"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2000 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44618-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,22]],"date-time":"2021-08-22T12:40:38Z","timestamp":1629636038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44618-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678977","9783540446187"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44618-4_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}