Specification and Refinement of Finite Dataflow Networks - a Relational Approach

  • Authors:

  • Manfred Broy;Ketil Stølen

  • Affiliations:

  • -;-

  • Venue:
  • ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
  • Year:
  • 1994

  • Idel Stream Algebra

    Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

  • Refinement of Pipe-and-Filter Architectures

    FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Quantified Score

Hi-index 0.00

Visualization

Abstract