Coinduction in concurrent timed systems

Počet záznamů: 1

1.

SYSNO ASEP	0348268
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve SCOPUS
Název	Coinduction in concurrent timed systems
Tvůrce(i)	Komenda, Jan (MU-W)_{RID, SAI, ORCID}
Zdroj.dok.	Electronic Notes in Theoretical Computer Science. - : Elsevier - ISSN 1571-0661 Roč. 264, č. 2 (2010), s. 177-197
Poč.str.	21 s.
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
Klíč. slova	timed discrete-event systems ; partial Mealy automata ; functional stream calculus ; synchronous composition
Vědní obor RIV	BA - Obecná matematika
CEZ	AV0Z10190503 - MU-W (2005-2011)
EID SCOPUS	77955743151
DOI	10.1016/j.entcs.2010.07.020
Anotace	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.
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	2011

Počet záznamů: 1