An event structure model for dataflow computing

Authors

  • I. B. Virbitskaite

Abstract

The intention of the paper is to provide "true" concurrency semantics to dynamic dataflow computing. To this end, we study the behaviour of coloured dataflow networks comparatively, incorporating such concepts as firing sequences,  data dependence graphs, partial orders and event structures. The coincidence of the above semantic notions up to an isomorphism  is established.  In particular, the classes of well-formed coloured dataflow networks and prime event structures are examined.

Downloads

Download data is not yet available.

How to Cite

Virbitskaite, I. B. (2012). An event structure model for dataflow computing. COMPUTING AND INFORMATICS, 18(1), 73–93. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/612