{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:25Z","timestamp":1725453985057},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000498","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"563-564","source":"Crossref","is-referenced-by-count":0,"title":["The circal system"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Cerone","sequence":"first","affiliation":[]},{"given":"Alex J.","family":"Cowie","sequence":"additional","affiliation":[]},{"given":"George J.","family":"Milne","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"issue":"3","key":"40_CR1","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF01384047","volume":"4","author":"A. Bailey","year":"1994","unstructured":"A. Bailey, G. A. McCaskill, and G. J. Milne. An Exercise in the Automatic Verification of Asynchronous Designs. Formal Methods in System Design, 4(3):213\u2013242, May 1994.","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"40_CR2","first-page":"21","volume":"17","author":"M. Bate","year":"1995","unstructured":"M. Bate, A. Cowie, G. Milne and G. Russell. Process Algebras and the Rapid Simulation of Highly Concurrent System. Australian Computer Science Communication, 17(1):21\u201331, 1995.","journal-title":"Australian Computer Science Communication"},{"key":"40_CR3","unstructured":"A. Cerone, A. J. Cowie, G. J. Milne, and P. A. Moseley. Description and Verification of a Time-Sensitive Protocol. Technical Report CIS-96-009, University of South Australia, School of Computer and Information Science, Adelaide, Oct 1996. http:\/\/www.cis.unisa.edu.au\/cgi-bin\/techreport?CIS-96-009"},{"key":"40_CR4","first-page":"124","volume-title":"Lecture Notes in Computer Science 1201","author":"A. Cerone","year":"1997","unstructured":"A. Cerone, A. J. Cowie, G. J. Milne and P. A. Moseley. Modelling a Time-Dependent Protocol using the Circal Process Algebra. In Proc. International Workshop on Hybrid and Real-Time Systems, Grenoble, France, March 1997, Lecture Notes in Computer Science 1201, Springer, pages 124\u2013138, Berlin, 1997."},{"key":"40_CR5","unstructured":"A. Cerone D. A. Kearney and G. J. Milne. Verifying Bounded Delay Asynchronous Circuits using Time Relationship Constraints. Technical Report CIS-97-012, University of South Australia, School of Computer and Information Science, Adelaide, August 1997. http:\/\/www.cis.unisa.edu.au\/cgi-bin\/techreport?CIS-97-012"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"A. Cerone and G. J. Milne. Specification of Timing Constraints within the Circal Process Algebra. In Proc. AMAST'97, Sydney, Australia, December 1997, Lecture Notes in Computer Science, this volume.","DOI":"10.1007\/BFb0000466"},{"key":"40_CR7","volume-title":"Technical Report HDV-14-91","author":"G. A. McCaskill","year":"1991","unstructured":"G. A. McCaskill. The XTC Language Reference Manual. Technical Report HDV-14-91, University of Strathclyde, Department of Computer Science, Glasgow, 1991."},{"issue":"7","key":"40_CR8","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/12.83619","volume":"40","author":"G. J. Milne","year":"1991","unstructured":"G. J. Milne. The Formal Description and Verification of Hardware Timing. IEEE Transactions on Computers, 40(7):811\u2013826, Jul 1991.","journal-title":"IEEE Transactions on Computers"},{"key":"40_CR9","unstructured":"G. J. Milne. Formal Specification and Verification of Digital Systems. McGraw-Hill, 1994."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T20:32:40Z","timestamp":1549225960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0000498","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}