Coinduction in concurrent timed systems

0348268 - MÚ 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
http://www.sciencedirect.com/science/article/pii/S1571066110000794

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