Počet záznamů: 1

Coinduction in concurrent timed systems

  1. 1.
    0348268 - MU-W 2011 RIV NL eng J - Článek v odborném periodiku
    Komenda, Jan
    Coinduction in concurrent timed systems.
    Electronic Notes in Theoretical Computer Science. Roč. 264, č. 2 (2010), s. 177-197 ISSN 1571-0661
    Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: timed discrete-event systems * partial Mealy automata * functional stream calculus * synchronous composition
    Kód oboru RIV: BA - Obecná matematika

    An important class of timed transition systems can be modeled by deterministic weighted automata, which are essentially partial Mealy automata, and their extensions using synchronous compositions defined over extended alphabets. From a coalgebraic viewpoint, behaviours of deterministic partial Mealy automata are causal and length preserving partial functions between finite and infinite sequences of inputs and outputs, called stream functionals. After a study of fundamental properties of functional stream calculus an application to the definition by coinduction of the synchronous product of stream functionals is proposed.
    Trvalý link: http://hdl.handle.net/11104/0188842
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf1416.1 KBVydavatelský postprintvyžádat