{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:44:30Z","timestamp":1754487870210,"version":"3.41.2"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[1983,7,1]],"date-time":"1983-07-01T00:00:00Z","timestamp":425865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[1983,7,1]],"date-time":"1983-07-01T00:00:00Z","timestamp":425865600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[1983,7,1]],"date-time":"1983-07-01T00:00:00Z","timestamp":425865600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[1983,7]]},"DOI":"10.1109\/tc.1983.1676294","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T16:35:10Z","timestamp":1188923710000},"page":"621-637","source":"Crossref","is-referenced-by-count":39,"title":["An Abstract Model of Behavior for Hardware Descriptions"],"prefix":"10.1109","volume":"C-32","author":[{"family":"McFarland","sequence":"first","affiliation":[{"name":"Department of Computer Science, Boston College"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Parker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The use of conflict in the translation and optimization of hardware description languages","year":"1979","author":"miranker","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/800123.803975"},{"journal-title":"Predicate path expressions?A high level synchronization mechanism","year":"1979","author":"andler","key":"ref33"},{"journal-title":"Microcode verification project Final report","year":"1979","author":"crocker","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/800145.804786"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"ref30"},{"year":"0","key":"ref37"},{"journal-title":"Mathematical models for formal verification in a design automation system","year":"1981","author":"mcfarland","key":"ref36"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume":"92","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems"},{"key":"ref34","first-page":"126","article-title":"abstract monitor types","author":"riddle","year":"1979","journal-title":"Proc Conf Specifications Reliable Software"},{"journal-title":"The VT A database for automated digital design","year":"1978","author":"mcfarland","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585454"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1980.1585291"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585400"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.6312156"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1979.1600166"},{"journal-title":"Hardware Verification","year":"1977","author":"wagner","key":"ref15"},{"journal-title":"Automatic design verification and test generation for digital systems","year":"1980","author":"leinwand","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.6312154"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/321992.322000"},{"key":"ref19","first-page":"1","author":"allen","year":"1972","journal-title":"Design and Optimization of Compilers"},{"key":"ref4","first-page":"401","article-title":"a technology-relevant design system","author":"leive","year":"1980","journal-title":"Proc ICCC 80 IEEE"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","article-title":"assigning meaning to programs","volume":"19","author":"floyd","year":"1967","journal-title":"Proc Symp Applied Math"},{"journal-title":"The ISPS computer description language","year":"1979","author":"barbacci","key":"ref3"},{"journal-title":"A Theory of Programming Language Semantics","year":"1976","author":"milne","key":"ref27"},{"key":"ref6","first-page":"3","article-title":"are we really ready for vlsi?","author":"moore","year":"1979","journal-title":"Proc Caltech Conf on VLSI"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585399"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Automation of Module Set Independent Register-Transfer Level Design","year":"1978","author":"snow","key":"ref8"},{"journal-title":"Quality of designs from an automatic logic generator","year":"1968","author":"friedman","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1981.1085036"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1979.1600091"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1978.1585173"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/365474.365489"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/0205030"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/390013.808486"},{"journal-title":"Power efficiency and correctness of transformation systems","year":"1978","author":"kibler","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264598"},{"journal-title":"A formal definition of ISPS for proving properties of hardware descriptions","year":"0","author":"mcfarland","key":"ref41"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360308"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","author":"mccarthy","year":"1963","journal-title":"Computer Programming and Formal Systems"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/35229\/01676294.pdf?arnumber=1676294","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,21]],"date-time":"2025-07-21T18:04:42Z","timestamp":1753121082000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1676294\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,7]]},"references-count":41,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tc.1983.1676294","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[1983,7]]}}}