Bengt Jonsson, Zohar Manna, and Richard Waldinger. Towards deductive synthesis of dataflow networks. In Proceedings of Symposium on Logic in Computer Science, pages 26-- 37, 1986. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Submodule Construction as Equation Solving in CCS - Joachim Parrow Swedish (1989) (25 citations) (Correct)
....m ) Our method is based on transformation of tableaux. The main inspiration for this is [8] where (sequential) functional programs are generated in a similar way by transforming predicate logic formulas. Later, this idea was extended to synthesis of asynchronously communicating networks ([7]) The approach is to first generate one single module, defined as a functional program, and subsequently transform this module into several modules working in parallel. This transformation is specifically aimed at generating dataflow networks. Acknowledgments I am grateful to Bengt Jonsson, ....
Bengt Jonsson, Zohar Manna, and Richard Waldinger. Towards deductive synthesis of dataflow networks. In Proceedings of Symposium on Logic in Computer Science, pages 26-- 37, 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC