From data flow networks to process algebras

  • Cinzia Bernardeschi
  • Andrea Bondavalli
  • Luca Simoncini
Poster Session Regular Posters
Part of the Lecture Notes in Computer Science book series (LNCS, volume 694)


We have defined a transformation γ from data flow networks to process algebras specifications. The behaviour of γ(N) in terms of the interleaving of observable actions corresponds to the traces of network N in the traces model. This opens the possibility of applying the tools and the theory developed for the process algebras to analyse data flow networks. An important field is verification where the tools of the process algebras can be significantly applied to prove networks equivalence.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    T. Bolognesi, E. Brinskma, “Introduction to the ISO specification language LOTOS”, “The formal description technique LOTOS”, Elsevier Science Publishers B.V. (North-Holland), 1989, pp. 23–73.Google Scholar
  2. [2]
    J. Brock, W. Ackerman, “Scenarios: A Model of Non-determinate Computation”, “LNCS 107”, Springer-Verlag, 1981, pp. 252–259.Google Scholar
  3. [3]
    ISO, “LOTOS — A Formal Technique Based on the Temporal Ordering of Observational Behaviour”, Open Systems Interconnection, July 1988.Google Scholar
  4. [4]
    B. Jonsson, “A Fully Abstract Trace Model for Data Flow networks”, Journal of ACM, Vol. 36, pp. 155–165, 1989.Google Scholar
  5. [5]
    C. Bernardeschi, A. Bondavalli, L. Simoncini, “A Semantic Model of Data Flow Networks based on Process Algebras”, CNUCE Internal Report C93-03, March 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Cinzia Bernardeschi
    • 1
  • Andrea Bondavalli
    • 2
  • Luca Simoncini
    • 1
  1. 1.Department of Information EngineeringUniversity of PisaPisaItaly
  2. 2.CNUCE-CNRPisaItaly

Personalised recommendations