Coinduction in concurrent timed systems

Number of the records: 1

1.

SYSNO ASEP	0348268
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve SCOPUS
Title	Coinduction in concurrent timed systems
Author(s)	Komenda, Jan (MU-W)_{RID, SAI, ORCID}
Source Title	Electronic Notes in Theoretical Computer Science. - : Elsevier - ISSN 1571-0661 Roč. 264, č. 2 (2010), s. 177-197
Number of pages	21 s.
Language	eng - English
Country	NL - Netherlands
Keywords	timed discrete-event systems ; partial Mealy automata ; functional stream calculus ; synchronous composition
Subject RIV	BA - General Mathematics
CEZ	AV0Z10190503 - MU-W (2005-2011)
EID SCOPUS	77955743151
DOI	10.1016/j.entcs.2010.07.020
Annotation	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.
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2011

Number of the records: 1