{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299509},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581406"},{"type":"electronic","value":"9783540484424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-58140-5_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:19:55Z","timestamp":1330251595000},"page":"56-68","source":"Crossref","is-referenced-by-count":9,"title":["Allegories of circuits"],"prefix":"10.1007","author":[{"given":"Carolyn","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Jeffrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Carolyn Brown and Graham Hutton. Categories, allegories and circuit design. To appear in Proc. LICS, 1994.","DOI":"10.1109\/LICS.1994.316052"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"Aurelio Carboni and Bob Walters. Cartesian bicategories I. J. Pure and Applied Algebra, 49:11\u201332, 1987.","journal-title":"J. Pure and Applied Algebra"},{"key":"7_CR3","unstructured":"Peter J. Freyd and Andre Scedrov. Categories, Allegories. North-Holland, 1990."},{"key":"7_CR4","unstructured":"Randall L. Geiger, Phillip E. Allen, and Noel R. Strader. VLSI Design Techniques for Analog and Digital Circuits. McGraw Hill, 1990."},{"key":"7_CR5","unstructured":"Steven M. Rubin. Computer Aids for VLSI Design. Addison Wesley, 1987."},{"key":"7_CR6","unstructured":"Mary Sheeran. Describing and reasoning about circuits using relations. In J. Tucker et al., editors, Proc. Workshop in Theoretical Aspects of VLSI, 1986."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58140-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:11:39Z","timestamp":1619557899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58140-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540581406","9783540484424"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-58140-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}