On a technology of design and analysis of dataflow programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1277)
A technology of designing dataflow programs is proposed. It is based on the principle of structuring programs and allows to fulfil the check-up of their correctness.
Unable to display preview. Download preview PDF.
- 1.Rabinovich A., Trakhtenbrot B.A.: Nets of processes and data flow. Lecture Notes in Computer Science. 354 (1988) 574–602Google Scholar
- 2.Broy M.: Semantics of Finite and Infinite Networks of Concurrent Commumicating Agents. Distributed Computing. 2 (1987) 13–31Google Scholar
- 3.Rabinovich A., Trakhtenbrot B.A.: On Nets, Algebras and Modularity. Lecture Notes in Computer Science, 526 (1991) 176–203Google Scholar
- 4.Dennis J.B.: Machines and Models for parallel Computing. International Jourmal of Parallel Programming, 22 N 1 (1994) 47–77.Google Scholar
© Springer-Verlag Berlin Heidelberg 1997