Number of the records: 1
Coinduction in concurrent timed systems
- 1.0348268 - MÚ 2011 RIV NL eng J - Journal Article
Komenda, Jan
Coinduction in concurrent timed systems.
Electronic Notes in Theoretical Computer Science. Roč. 264, č. 2 (2010), s. 177-197. ISSN 1571-0661
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : timed discrete-event systems * partial Mealy automata * functional stream calculus * synchronous composition
Subject RIV: BA - General Mathematics
http://www.sciencedirect.com/science/article/pii/S1571066110000794
Permanent Link: http://hdl.handle.net/11104/0188842File Download Size Commentary Version Access Komenda.pdf 1 416.1 KB Publisher’s postprint require
Number of the records: 1