{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:55:50Z","timestamp":1725551750648},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297970"},{"type":"electronic","value":"9783540322504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_16","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T14:01:26Z","timestamp":1130162486000},"page":"219-234","source":"Crossref","is-referenced-by-count":3,"title":["Modelling and Refinement of an On-Chip Communication Architecture"],"prefix":"10.1007","author":[{"given":"Juha","family":"Plosila","sequence":"first","affiliation":[]},{"given":"Pasi","family":"Liljeberg","sequence":"additional","affiliation":[]},{"given":"Jouni","family":"Isoaho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","first-page":"26","volume":"17","author":"R. Back","year":"1996","unstructured":"Back, R., Sere, K.: From Action Systems to Modular Systems. Software \u2014 Concepts and Tools\u00a017, 26\u201339 (1996)","journal-title":"Software \u2014 Concepts and Tools"},{"key":"16_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R. Back","year":"1998","unstructured":"Back, R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)"},{"volume-title":"Circuits, Interconnections, and Packaging for VLSI","year":"1990","author":"H. Bakoglu","key":"16_CR3","unstructured":"Bakoglu, H.: Circuits, Interconnections, and Packaging for VLSI. Addison-Wesley, Reading (1990)"},{"key":"16_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139166980","volume-title":"Digital System Engineering","author":"W. Dally","year":"1998","unstructured":"Dally, W., Poulton, J.: Digital System Engineering. Cambridge University Press, Cambridge (1998)"},{"key":"16_CR5","series-title":"Prentice Hall Series in Automatic Computation","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976","unstructured":"Dijkstra, E.: A Discipline of Programming. Prentice Hall Series in Automatic Computation. Prentice Hall, Englewood Cliffs (1976)"},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.vlsi.2004.03.001","volume":"38","author":"P. Liljeberg","year":"2004","unstructured":"Liljeberg, P., Plosila, J., Isoaho, J.: Self-Timed communication platform for implementing high-performance system-on-chip. VLSI Journal of Integration\u00a038(1), 43\u201367 (2004)","journal-title":"VLSI Journal of Integration"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:44:18Z","timestamp":1619505858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11576280_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}