@InProceedings{behalek_et_al:OASIcs:2009:DROPS.MEMICS.2009.2353,
author = {B\u{e}h\'{a}lek, Marek and \v{S}aloun, Petr},
title = {{Embedded Process Functional Language}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {37--44},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2353},
URN = {urn:nbn:de:0030-drops-23535},
doi = {10.4230/DROPS.MEMICS.2009.2353},
annote = {Keywords: Embedded systems, model, high abstraction level, functional programming}
}