| Identifikační kód |
RIV/67985840:_____/10:00348268 |
| Název v anglickém jazyce |
Coinduction in concurrent timed systems |
| Druh |
J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
| Poddruh |
- |
| Jazyk |
eng - angličtina |
| Obor - skupina |
B - Fyzika a matematika |
| Obor |
BA - Obecná matematika |
| Rok uplatnění |
2010 |
| Kód důvěrnosti údajů |
S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku |
1 |
| Počet tvůrců celkem |
1 |
| Počet domácích tvůrců |
1 |
| Výčet všech uvedených jednotlivých tvůrců |
Jan Komenda (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3725944) |
| Popis výsledku v anglickém jazyce |
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. |
| Klíčová slova oddělená středníkem |
timed discrete-event systems; partial Mealy automata; functional stream calculus; synchronous composition |
| Stránka www, na které se nachází výsledek |
- |
| Odkaz na údaje z výzkumu |
- |