"Discrete event dataflow as a formal approach to specification of ..."

Oleksandr Semeniuta, Petter Falkman (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics