A Formal Semantics of Data Flow Diagrams

Peter Gorm Larsen, Nico Plat, Hans Toetenel. A Formal Semantics of Data Flow Diagrams. Formal Asp. Comput., 6(6):586-606, 1994.

@article{LarsenPT94,
  title = {A Formal Semantics of Data Flow Diagrams},
  author = {Peter Gorm Larsen and Nico Plat and Hans Toetenel},
  year = {1994},
  tags = {semantics, formal semantics, data-flow},
  researchr = {https://researchr.org/publication/LarsenPT94},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {6},
  number = {6},
  pages = {586-606},
}