{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T00:41:38Z","timestamp":1794357698238,"version":"4.9.0"},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"value":"9780387096605","type":"print"},{"value":"9780387096612","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09661-2_5","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T09:40:02Z","timestamp":1219138802000},"page":"45-56","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of Periodic Clock Relations in Polychronous Systems"],"prefix":"10.1007","author":[{"given":"Hugo","family":"Metivier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul Le","family":"Guernic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"C. Andr\u2019e, F. Mallet, R. de Simone. Modeling time in UML. Research report ISRN I3S\/RR- 2007-16-FR, I3S Laboratory, 2007."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"C. Andr\u2019e, F. Mallet, M-A. Peraldi. A multiform time approach to real-time system modeling. SIES, 2007.","DOI":"10.1109\/SIES.2007.4297340"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE. IEEE, 2003.","DOI":"10.1109\/JPROC.2002.805826"},{"key":"5_CR4","unstructured":"J. Buck, S. Ha, E. Lee, D. Messerschmitt. Ptolemy: a framework for simulating and prototyping hetrogeneous systems. International Journal in Compuer Simulation, v4(2), 1994."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau, and M. Pouzet. N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. In POPL. ACM, 2006.","DOI":"10.1145\/1111037.1111054"},{"key":"5_CR6","unstructured":"C. Dezan, P. Quinton. Verification of regular architectures using Alpha. In Adaptative Sensor Array Processing Workshop. IEEE Press, 1994."},{"key":"5_CR7","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. Information Processing, North Holland, 1974."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"E. Kock, et al. Yapi: Application modeling for signal processing systems. Design Automation Conference. ACM, 2000.","DOI":"10.1109\/DAC.2000.855344"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann. Polychrony for system design. In Journal for Circuits, Systems and Computers. World Scientific, 2003 56 Hugo Metivier, Jean-Pierre Talpin,","DOI":"10.1142\/S0218126603000763"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"H.Marchand, E. Rutten,M. Le Borgne and M. Samaan. Formal Verification of programs specified with Signal : application to a power transformer station controller. In Science of Computer Programming. Elsevier, 2001.","DOI":"10.1016\/S0167-6423(00)00020-4"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"I. Smarandache, T. Gautier, P. Le Guernic. Validation ofmixed Signal-Alpha real-time systems through an affine calculus on clock synchronization constraints. In Formal Methods Europe. Springer, 1999.","DOI":"10.1007\/3-540-48118-4_22"}],"container-title":["IFIP \u2013 The International Federation for Information Processing","Distributed Embedded Systems: Design, Middleware and Resources"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09661-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:04:30Z","timestamp":1605629070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09661-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096605","9780387096612"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09661-2_5","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-0-387-09661-2","asserted-by":"object"}]},"ISSN":["1571-5736"],"issn-type":[{"value":"1571-5736","type":"print"}],"subject":[]}}