On the Expressive Power of Some Extensions of Linear Temporal Logic

One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a finite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions. The behaviour of such a reactive system displays itself in th...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Anton Gnatenko, Vladimir Zakharov
Formáid: Alt
Teanga:English
Foilsithe / Cruthaithe: Yaroslavl State University 2018-10-01
Sraith:Моделирование и анализ информационных систем
Ábhair:
Rochtain ar líne:https://www.mais-journal.ru/jour/article/view/746