An Algebra of Data Flows

Article type: Research Article

Authors: Winkowski, Józef

Affiliations: Instytut Podstaw Informatyki PAN, Ordona 21, 01-237 Warszawa, Poland. wink@ipipan.waw.pl

Note: [] Address for correspondence: Instytut Podstaw Informatyki PAN, Ordona 21, 01-237 Warszawa, Poland

Abstract: An algebra of processes is proposed in which processes are modelled in terms of data rather than events. Structures representing processes are similar to the labelled event structures of Winskel (1982), but they denote flows of data. For processes represented in such a way operations similar to those of CCS (the Calculus of Communicating Systems as developed by Milner (1980)) are defined and their fundamental properties are stated.

Keywords: Reactive system, process, history, prefix order, flow of data, approximation order, sum, composition, prefixing, restricting communication, applying a substitution, fixed-point, equivalence

DOI: 10.3233/FI-2000-42104

Journal: Fundamenta Informaticae, vol. 42, no. 1, pp. 75-104, 2000