Coinduction in concurrent timed systems

Number of the records: 1

1.

SYSNO	0348268
Title	Coinduction in concurrent timed systems
Author(s)	Komenda, Jan (MU-W)_{RID, SAI, ORCID}
Source Title	Electronic Notes in Theoretical Computer Science. Roč. 264, č. 2 (2010), s. 177-197. - : Elsevier
Document Type	Článek v odborném periodiku
Grant	EU.ICT.DISC 224498, XE - EU countries
CEZ	AV0Z10190503 - MU-W (2005-2011)
Language	eng
Country	NL
Keywords	timed discrete-event systems * partial Mealy automata * functional stream calculus * synchronous composition
URL	http://www.sciencedirect.com/science/article/pii/S1571066110000794
Permanent Link	http://hdl.handle.net/11104/0188842

	File	Download	Size	Commentary	Version	Access
	Komenda.pdf	1	416.1 KB		Publisher’s postprint	require

Number of the records: 1