Počet záznamů: 1  

Coinduction in concurrent timed systems

  1. 1.
    SYSNO0348268
    NázevCoinduction in concurrent timed systems
    Tvůrce(i) Komenda, Jan (MU-W) RID, SAI, ORCID
    Zdroj.dok. Electronic Notes in Theoretical Computer Science. Roč. 264, č. 2 (2010), s. 177-197. - : Elsevier
    Druh dok.Článek v odborném periodiku
    Grant EU.ICT.DISC 224498, XE - země EU
    CEZAV0Z10190503 - MU-W (2005-2011)
    Jazyk dok.eng
    Země vyd.NL
    Klíč.slova timed discrete-event systems * partial Mealy automata * functional stream calculus * synchronous composition
    URLhttp://www.sciencedirect.com/science/article/pii/S1571066110000794
    Trvalý linkhttp://hdl.handle.net/11104/0188842
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf1416.1 KBVydavatelský postprintvyžádat
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.