{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T20:40:13Z","timestamp":1737492013316,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678991"},{"type":"electronic","value":"9783540446149"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44614-1_75","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:25:22Z","timestamp":1192901122000},"page":"707-717","source":"Crossref","is-referenced-by-count":1,"title":["Behavioural Language Compilation with Virtual Hardware Management"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Diessel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Milne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,12]]},"reference":[{"key":"75_CR1","unstructured":"P. Bertin and H. Touati. PAM programming environments: Practice and experience. In K. L. Pocek, editors. Proceedings IEEE Workshop on FPGAs for Custom Computing Machines (FCCM\u201994), Los Alamitos, CA, Apr. 1994. IEEE Computer Society Press Buell and Pocek [3], pages 133\u2013138."},{"key":"75_CR2","unstructured":"D. C. Blight and R. D. McLeod. VHDL for FPGA design. In W. Luk, editors FPGAs, Edited from the Oxford 1991 International Workshop on Field Programmable Logic and Applications Abingdon, England, 1991. Abingdon EE&CS Books Moore and Luk [14], pages 246\u2013254."},{"key":"75_CR3","unstructured":"D. A. Buell and K. L. Pocek, editors. Proceedings IEEE Workshop on FPGAs for Custom Computing Machines (FCCM\u201994), Los Alamitos, CA, Apr. 1994. IEEE Computer Society Press."},{"key":"75_CR4","doi-asserted-by":"crossref","unstructured":"A. DeHon. DPGA-coupled microprocessors: Commodity ICs for the early 21st Century. K. L. Pocek, editors Proceedings IEEE Workshop on FPGAs for Custom Computing Machines (FCCM\u201994) Los Alamitos, CA, Apr. 1994. IEEE Computer Society Press Buell and Pocek [3], pages 31\u201339.","DOI":"10.1109\/FPGA.1994.315596"},{"key":"75_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"916","DOI":"10.1007\/3-540-45591-4_126","volume-title":"Parallel and Distributed Processing, 15 IPDPS 2000 Workshops Proceedings","author":"O. Diessel","year":"2000","unstructured":"O. Diessel and G. Milne. Compiling process algebraic descriptions into reconfigurable logic. In J. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops Proceedings, volume 1800 of Lecture Notes in Computer Science, pages 916\u2013923, Berlin, Germany, 2000. Springer-Verlag."},{"key":"75_CR6","volume-title":"Technical report ACRC-00-013","author":"O. Diessel","year":"2000","unstructured":"O. Diessel and G. Milne. A hardware implementation of the Circal process algebra and compiling HCircal. Technical report ACRC-00-013, Advanced Computing Research Centre, School of Computer and Information Science, University of South Australia, Mawson Lakes, SA, 2000."},{"key":"75_CR7","series-title":"Prentice-Hall International series in computer science","volume-title":"Communicating SequentialProcesses","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating SequentialProcesses. Prentice-Hall International series in computer science. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1985."},{"key":"75_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/BFb0021726","volume-title":"Correct Hardware Design and Verification Methods","author":"H. Jifeng","year":"1993","unstructured":"H. Jifeng, I. Page, and J. Bowen. Towards a provably correct hardware implementation of Occam. In G.J. Milne and L. Pierre, editors, Correct Hardware Design and Verification Methods, IFIPWG10.2 Advanced Research Working Conference, C HARME\u201993 Proceedings, volume 683 of Lecture Notes in Computer Science, pages 214\u2013225, Berlin, Germany, May 1993. Springer-Verlag."},{"issue":"2","key":"75_CR9","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G. Milne","year":"1985","unstructured":"G. Milne. CIRCAL and the representation of communication, concurrency and time. ACM Transactions on Programming Languages and Systems, 7(2):270\u2013298, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"75_CR10","volume-title":"Formal Specification and Verification of Digital Systems","author":"G. Milne","year":"1994","unstructured":"G. Milne. Formal Specification and Verification of Digital Systems. McGraw-Hill, London, UK, 1994."},{"key":"75_CR11","doi-asserted-by":"crossref","unstructured":"G. Milne. A model for dynamic adaptation in reconfigurable hardware systems. In A. Stoica, D. Keymeulen, and J. Lohn, editors, Proceedings of the First NASA\/DoD Workshop on Evolvable Hardware, pages 161\u2013169, Los Alamitos, CA, July 1999. IEEE Computer Society Press.","DOI":"10.1109\/EH.1999.785448"},{"key":"75_CR12","volume-title":"Technical report ACRC-99-01","author":"G. Milne","year":"1999","unstructured":"G. Milne. Modelling dynamic structures. Technical report ACRC-99-01, Advanced Computing Research Centre, School of Computer and Information Science, University of South Australia, Adelaide, Australia, Jan. 1999."},{"key":"75_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Inc., New York, NY, 1989."},{"key":"75_CR14","unstructured":"W. R. Moore and W. Luk, editors. FPGAs, Edited from the Oxford 1991 International Workshop on Field Programmable Logic and Applications, Abingdon, England, 1991. Abingdon EE&CS Books."},{"key":"75_CR15","unstructured":"I. Page and W. Luk. Compiling Occam into FPGAs. InW. Luk, editors. FPGAs, Edited from the Oxford 1991 International Workshop on Field Programmable Logic and Applications, Abingdon, England, 1991. Abingdon EE&CS Books Moore and Luk [14], pages 271\u2013283."},{"key":"75_CR16","unstructured":"P. Shaw. A Generic Approach to Compiling Occam into Circuits. PhD thesis, Department of Computer Science, University of Strathclyde, Dec. 1994."},{"key":"75_CR17","series-title":"Lect Notes Comput Sci","first-page":"162","volume-title":"Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping, Second International Workshop on Field-Programmable Logic and Applications","author":"P. Shaw","year":"1992","unstructured":"P. Shaw and G. Milne. A highly parallel FPGA-based machine and its formal verification. In H. Gr\u00fcnbacher and R. W. Hartenstein, editors, Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping, Second International Workshop on Field-Programmable Logic and Applications, volume 705 of Lecture Notes in Computer Science, pages 162\u2013173, Berlin, Germany, Sept. 1992. Springer-Verlag."},{"key":"75_CR18","doi-asserted-by":"crossref","unstructured":"D. Soderman and Y. Panchul. Implementing C algorithms in reconfigurable hardware using c2verilog. In K.L. Pocek and J. M. Arnold, editors, The 6th Annual IEEE Symposium on FPGAs for Custom Computing Machines (FCCM\u201998), pages 339\u2013342, Los Alamitos, CA, Apr. 1998. IEEE Computer Society Press.","DOI":"10.1109\/FPGA.1998.707944"},{"key":"75_CR19","doi-asserted-by":"crossref","unstructured":"S. Trimberger, D. Carberry, A. Johnson, and J. Wong. A time-multiplexed FPGA. In K.L. Pocek and J. M. Arnold, editors, The 5th Annual IEEE Symposium on FPGAs for Custom Computing Machines (FCCM\u201997), pages 22\u201328, Los Alamitos, CA, Apr. 1997. IEEE Computer Society Press.","DOI":"10.1109\/FPGA.1997.624601"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44614-1_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:59:10Z","timestamp":1737489550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44614-1_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678991","9783540446149"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44614-1_75","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}