{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:36:34Z","timestamp":1729643794342,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207695","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T14:34:28Z","timestamp":1079966068000},"page":"9-19","source":"Crossref","is-referenced-by-count":11,"title":["Polychrony for formal refinement-checking in a system-level design methodology"],"prefix":"10.1109","author":[{"given":"J.-P.","family":"Talpin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Sandeep Kumar Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Rajesh Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Doucet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Efficient use of concurrency models in an object oriented co design framework","author":"garg","year":"0","journal-title":"In design automation an dtest in europe IEEE Press 2001"},{"key":"ref11","article-title":"specification and design of embeded systems","author":"gajeski","year":"0","journal-title":"Prentice Hall 1994"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"journal-title":"JI Polychrony fro system design IN journal of cuits Ststem and computers Special Issue on applcation specific design world scientific","year":"2002","author":"guernice","key":"ref13"},{"key":"ref14","first-page":"324","article-title":"Synthesis of discrete event controllers based on signal environment in discrete Event Dynamic System Theory and applications","volume":"10(4)","author":"marchand","year":"2000"},{"key":"ref15","first-page":"85","volume":"41","author":"marhand","year":"2001","journal-title":"Formal verifacation of signal programs Application to a power transformation station conteoller science of computer programming"},{"journal-title":"component based enginering of real time java application on a ploychronous design paltform in a submitted for publication Available as Inria reserch report in 4744 feb","year":"2003","author":"talipn","key":"ref16"},{"journal-title":"An environment for dynamic compoment composition for efficient co design In design autonation nd test sin europe IEEE press","year":"2002","author":"doucet","key":"ref17"},{"journal-title":"EA Lfe Overview of the Ptolemy project Technical Memorandum Mol\/11 UC berkely","year":"2001","key":"ref18"},{"journal-title":"SpecC","year":"0","key":"ref19"},{"journal-title":"A protocal for loosely timed -trigerred architectures in embeded software conference Springer verlag","year":"2002","author":"benvensiste","key":"ref4"},{"journal-title":"Caillaou in dataflow synchronous language specification and distrubuted code generation iN INFORMATION and computaion V163 PP 125 171 Academic Press 2000","year":"0","author":"benvisxste","key":"ref3"},{"journal-title":"Carnonl LP macmillan KL Sangivanni Al Latency intnenive protocals in prcedding of the 11 international confrence on computer aided verifaction lECTURE notes in computer science v 1663 springer verlagjuly","year":"1999","key":"ref6"},{"key":"ref5","volume":"19","author":"berry","year":"1992","journal-title":"The esternal syachronouse progrmaiing language design semantice implemantation in science of computer Programming"},{"key":"ref8","article-title":"Efficeint System level co design Environment using Split level programming","author":"doucet","year":"2001","journal-title":"Techenical report"},{"article-title":"Reading in hardware\/software co design Morgan Kaufmann","year":"2001","author":"df michelli","key":"ref7"},{"key":"ref2","article-title":"Misse on overvue distributes de programee synchronous","author":"arbbry","year":"1997","journal-title":"These de university de bennes"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1145\/207110.207134","article-title":"Implemantation of data flow synchronous language signal","author":"amagbegnos","year":"1995","journal-title":"confrence of programming language dsign and implemantation acm press"},{"key":"ref9","article-title":"modelling of modular avionics architectures using the synchronous language","author":"gamatie","year":"2002","journal-title":"procedding of the 14th Euronomic conference on real time systems work in progress IEEE press"},{"journal-title":"System","year":"0","key":"ref20"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207695.pdf?arnumber=1207695","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T19:12:46Z","timestamp":1705086766000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207695\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207695","relation":{},"subject":[]}}