{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:59:36Z","timestamp":1694624376033},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2004,8]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>We prove that both the synchronous data-flow language Lustre restricted to types with finite values and the synchronous state-oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint Programming (tccp). In fact, for each of the two languages we provide a tccp language encoding it compositionally with respect to the syntax of programs and linearly with respect to the size of programs. Besides giving results of expressiveness for tccp, our encodings permit us to obtain a language tailored for programming reactive systems where both control handling aspects and data processing aspects are relevant.<\/jats:p>","DOI":"10.1007\/s00165-004-0041-x","type":"journal-article","created":{"date-parts":[[2004,5,8]],"date-time":"2004-05-08T05:35:48Z","timestamp":1083994548000},"page":"292-312","source":"Crossref","is-referenced-by-count":0,"title":["Timed CCP compositionally embeds Argos and Lustre"],"prefix":"10.1145","volume":"16","author":[{"given":"Simone","family":"Tini","sequence":"first","affiliation":[{"name":"Dipartimento di Scienze Chimiche, Fisiche e Matematiche, Universit\u00e0 dell\u2019Insubria, Via Valleggio 11, 22100, Como, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","first-page":"19","volume-title":"Proceedings of IEEE-SMC conference on computational engineering in systems applications","author":"And C","year":"1996"},{"key":"p_2","first-page":"1268","article-title":"Another look at real-time systems. In","volume":"79","author":"Be A","year":"1991","journal-title":"Proceedings IEEE"},{"key":"p_3","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","article-title":"The synchronous languages 12 years later. In","volume":"91","author":"Benveniste A","year":"2003","journal-title":"Proceedings IEEE"},{"key":"p_4","first-page":"72","volume-title":"Proceedings of international symposium on formal techniques in real-time and fault tolerant systems, Lecture notes in computer science, Vol 761","author":"Ber G","year":"1993"},{"key":"p_5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","article-title":"The Esterel synchronous programming language: design, semantics, implementation","volume":"19","author":"Be G","year":"1992","journal-title":"Sci Comput Program"},{"key":"p_6","first-page":"178","volume-title":"Proceedings of the ACM symposium on principles of programming languages, ACM Press","author":"Caspi P","year":"1987"},{"key":"p_7","first-page":"219","article-title":"On the power of programming features","volume":"1","author":"Ch AK","year":"1976","journal-title":"Comput Lang"},{"key":"p_8","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1006\/inco.1994.1004","article-title":"Embedding as a tool for language comparison","volume":"108","author":"De FS","year":"1994","journal-title":"Inf Comput"},{"key":"p_9","first-page":"134","volume-title":"Proceedings of the european symposium on programming, lecture notes in computer science, Vol 432","author":"Fel M","year":"1990"},{"key":"p_10","first-page":"629","volume-title":"Proceedings of the international conference on principles and practice of constraint programming, Lecture notes in computer science, Vol 976","author":"Fr MPJ","year":"1995"},{"key":"p_11","first-page":"63","volume-title":"Proceedings of international conference on practical application of constraint methodologies","author":"Fr MPJ","year":"1995"},{"key":"p_12","first-page":"66","volume-title":"Proceedings of the international conference on concurrency theory, Lecture notes in computer science, Vol 1119","author":"Gupta V","year":"1996"},{"key":"p_13","volume-title":"Proceedings of workshop on engineering problems for qualitative reasoning","author":"Gupta V","year":"1995"},{"key":"p_14","volume-title":"Proceedings of the workshop on qualitative reasoning","author":"Gu V","year":"1995"},{"key":"p_15","volume-title":"Synchronous programming of reactive systems","author":"Hal N","year":"1993"},{"key":"p_16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Har D","year":"1987","journal-title":"Sci Comput Program"},{"key":"p_17","first-page":"477","volume-title":"NATO, ASI-13","author":"Ha D","year":"1985"},{"key":"p_18","volume-title":"Proceedings of IEEE international conference on computer languages, IEEE Press, Los Alamitos","author":"Jourdan M","year":"1994"},{"key":"p_19","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","article-title":"Formal verification of parallel programs","volume":"19","author":"Kel R","year":"1976","journal-title":"Commun ACM"},{"key":"p_20","first-page":"157","article-title":"The next 700 programming languages","volume":"3","author":"Lan PJ","year":"1966","journal-title":"Commun ACM"},{"key":"p_22","first-page":"550","volume-title":"Proceedings of the international conference on concurrency theory, Lecture notes in computer science, Vol 630","author":"Mar F","year":"1992"},{"key":"p_23","first-page":"235","volume-title":"Proceedings of the international symbosium conference on formal techniques in real-time and fault tolerant systems, Lecture notes in computer science, Vol 1135","author":"Ma F","year":"1996"},{"key":"p_24","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0096-0551(01)00016-9","article-title":"Argos: an automaton-based synchronous language","volume":"27","author":"Ma F","year":"2001","journal-title":"Comput Lang"},{"key":"p_25","first-page":"302","volume-title":"Proceedings of the international conference on principles and practice of constraint programming, Lecture notes in computer science, Vol 2239","author":"Pa C","year":"2001"},{"key":"p_26","first-page":"119","volume-title":"Proceedings of the ACM conference on concurrent systems and parallel computation, ACM press","author":"Pa MS","year":"1970"},{"key":"p_27","volume-title":"A structural approach to operational semantics. Technical report DAIMI FN-19","author":"Plo G","year":"1981"},{"key":"p_28","first-page":"308","article-title":"GEDANKEN, A simple typeless language based on the principle of completeness and the reference","volume":"5","author":"Rey JC","year":"1970","journal-title":"Concept Commun ACM"},{"key":"p_29","first-page":"345","volume-title":"North Holland","author":"Rey JC","year":"1981"},{"key":"p_30","volume-title":"Concurrent constraint programming","author":"Sar VA","year":"1993"},{"key":"p_31","volume-title":"NATO, ASI-131","author":"Saraswat VA","year":"1994"},{"key":"p_32","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1006\/jsco.1996.0064","article-title":"Timed default concurrent constraint programming","volume":"11","author":"Saraswat VA","year":"1996","journal-title":"J Symbolic Comput"},{"key":"p_33","first-page":"412","article-title":"The family of concurrent logic programming languages","volume":"21","author":"Sha EY","year":"1989","journal-title":"ACM Comput Surv"},{"key":"p_34","first-page":"486","volume-title":"Proceedings of internatinal conference on concurrency theory, Lecture notes in computer science, Vol 630","author":"Sha EY","year":"1992"},{"key":"p_36","volume-title":"Synchron project","author":"Syn A-SYNCHRON","year":"1995"},{"key":"p_37","volume-title":"Proceedings of internatinal workshop on expressiveness in concurrency, Electronic notes in theoretical computer science, Vol 27","author":"Tin S","year":"1999"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-004-0041-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-004-0041-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-004-0041-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:41:12Z","timestamp":1641483672000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-004-0041-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["10.1007\/s00165-004-0041-x"],"URL":"https:\/\/doi.org\/10.1007\/s00165-004-0041-x","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,8]]}}}