Event Algebra for Transition Systems Composition - Application to Timed Automata

The theory of reactive systems (RSs) [9] represents one of the most success- ful meta-frameworks among those addressing the need of deriving suitable LTSs and behavioural

essential cause of the winter anomaly is the sporadic intrusions of nitric oxide from the thermosphere due to enhanced vertical transport activity and to a

[ 56 ] In the Ganga River, the sediment concentration profiles are well explained by a Rouse type equation, which allows us to estimate the instantaneous sediment flux and average

Target language [8], built as parallel composition of the specification and the system automata, is a base for founding bad states which should be forbidden by a supervisor..

We study the composition operators on an algebra of Dirichlet series, the analogue of the Wiener algebra of absolutely convergent Taylor series, which we call the

Lors de ce travail, nous avons pu appréhender la complexité des facteurs influençant l’adhérence à une auto-prise en charge à domicile, ce qui nous conforte dans

Elle traduit, dans nombre de cas, l'affaiblissement des ressources attentionnelles de causes diverses : troubles du sommeil, syndrome anxio-dépressif, prise de certains médicaments

The Compound Term Composition Algebra (CTCA) is an al- gebra with four algebraic operators, whose composition can be used to specify the meaningful (valid) compound terms