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
Trvalý link: http://hdl.handle.net/11104/0188842