{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:34:19Z","timestamp":1742394859846},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s10703-006-7845-7","type":"journal-article","created":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T13:55:31Z","timestamp":1147096531000},"page":"131-151","source":"Crossref","is-referenced-by-count":5,"title":["An algebraic theory for behavioral modeling and protocol synthesis in system design"],"prefix":"10.1007","volume":"28","author":[{"given":"Jean-Pierre","family":"Talpin","sequence":"first","affiliation":[]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,3]]},"reference":[{"key":"7845_CR1","doi-asserted-by":"crossref","unstructured":"Amagbegnon TP, Besnard L, Le Guernic P (1995) Implementation of the data-flow synchronous language Signal. In Conference on Programming Language Design and Implementation. ACM Press","DOI":"10.1145\/207110.207134"},{"key":"7845_CR2","doi-asserted-by":"crossref","unstructured":"Benveniste A, Caspi P, Carloni LP, Sangiovanni-Vincentelli AL (2003) Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. In: Embedded Software Conference. Lecture Notes in Computer Science, Springer Verlag","DOI":"10.1007\/978-3-540-45212-6_4"},{"key":"7845_CR3","doi-asserted-by":"crossref","unstructured":"Benveniste A, Caspi P, Le Guernic P, Marchand H, Talpin J-P, Tripakis S (2002) A protocol for loosely time-triggered architectures. In: Embedded Software Conference. Lecture Notes in Computer Science, Springer Verlag","DOI":"10.1007\/3-540-45828-X_19"},{"key":"7845_CR4","first-page":"155","volume":"4","author":"JT Buck","year":"1994","unstructured":"Buck JT, Ha S, Lee E, Messerschmitt D (1994) Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. Int J Comp Simul 4:155\u2013182.","journal-title":"Int J Comp Simul"},{"key":"7845_CR5","doi-asserted-by":"crossref","unstructured":"Carloni LP, McMillan KL, Sangiovanni-Vincentelli AL (1999) Latency-insensitive protocols. In: Proceedings of the 11th. International Conference on Computer-Aided Verification. Lecture notes in computer science v. 1633. Springer Verlag","DOI":"10.1007\/3-540-48683-6_13"},{"key":"7845_CR6","unstructured":"Dijkstra E (1976) A Discipline of programming. Prentice Hall"},{"key":"7845_CR7","doi-asserted-by":"crossref","unstructured":"De Alfaro L, Henzinger TA (2001) Interface theories for component-based design. Int Workshop on Embedded Software. Lecture Notes in Computer Science v. 2211. Springer-Verlag","DOI":"10.1007\/3-540-45449-7_11"},{"key":"7845_CR8","doi-asserted-by":"crossref","unstructured":"Hoare C (1985) Communicating sequential processes. Prentice Hall","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"7845_CR9","unstructured":"Hoe J, Arvind (2000) Synthesis of operation-centric hardware descriptions. Proceedings of International Conference on Computer Aided Design. IEEE Press"},{"key":"7845_CR10","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. In Ifip Congress. North Holland"},{"key":"7845_CR11","doi-asserted-by":"crossref","unstructured":"Lee E, Sangiovanni-Vincentelli A (1998) A framework for comparing models of computation. IEEE transactions on computer-aided design, 12. IEEE Press, vol. 17, no.","DOI":"10.1109\/43.736561"},{"key":"7845_CR12","doi-asserted-by":"crossref","unstructured":"Le Guernic P, Talpin J-P, Le Lann J-L (2002) Polychrony for system design. In Journal of Circuits, Systems and Computers. Special Issue on Application-Specific Hardware Design. World Scientific","DOI":"10.1142\/S0218126603000763"},{"key":"7845_CR13","doi-asserted-by":"crossref","unstructured":"Nowak D, Talpin J-P, Le Guernic P (1999) Synchronous structures. In International Conference on Concurrency Theory. Lecture Notes in Computer Science, Springer Verlag","DOI":"10.1007\/3-540-48320-9_34"},{"key":"7845_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli A, Shankar N, Singerman E (1998) Fair synchronous transition systems and their liveness proofs. International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems. Lecture Notes in Computer Science v. 1468. Springer Verlag","DOI":"10.1007\/BFb0055348"},{"key":"7845_CR15","unstructured":"Polychrony: http:\/\/www.irisa.fr\/espresso\/Polychrony, 2004."},{"key":"7845_CR16","unstructured":"Talpin J-P, Le Guernic P, Shukla S, Gupta R, Doucet F (2003) Polychrony for formal refinement-checking in a system-level design methodology. Application of Concurrency to System Design. IEEE Press"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-7845-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-006-7845-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-7845-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:01:02Z","timestamp":1559253662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-006-7845-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["7845"],"URL":"https:\/\/doi.org\/10.1007\/s10703-006-7845-7","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}