Show simple item record

dc.contributor.authorPetit, Antoine
dc.contributor.authorGastin, Paul
dc.contributor.authorBérard, Béatrice
dc.date.accessioned2010-11-16T09:53:58Z
dc.date.available2010-11-16T09:53:58Z
dc.date.issued2006
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5078
dc.language.isoenen
dc.subjectsubstitutionsen
dc.subjecttimed systemsen
dc.subjectrefinementen
dc.subjectsignal-event languagesen
dc.subject.ddc004en
dc.titleRefinements and Abstractions of Signal-Event (Timed) Languagesen
dc.typeCommunication / Conférence
dc.description.abstractenIn the classical framework of formal languages, a refinement operation is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studied, because they describe a change in the specification level, from an abstract view to a more concrete one, or conversely. For timed systems, there is up to now no uniform notion of substitutions. In this paper, we study the timed substitutions in the general framework of signal-event languages, where both signals and events are taken into account. We prove that regular signal-event languages are closed under substitutions and inverse substitutions.en
dc.identifier.citationpages67-81en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber4202
dc.relation.ispartoftitleFormal Modeling and Analysis of Timed Systems. 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedingsen
dc.relation.ispartofeditorBouyer, Patricia
dc.relation.ispartofeditorAsarin, Eugene
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate2006
dc.relation.ispartofpages369en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/11867340en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-45026-9en
dc.relation.conftitle4th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2006)en
dc.relation.confdate2006-09
dc.relation.confcityParisen
dc.relation.confcountryFranceen
dc.identifier.doihttp://dx.doi.org/10.1007/11867340_6


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record