Previous Up

References

[1]
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305–1320, 1991.
[2]
N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST’93, Twente. Workshops in Computing, Springer Verlag, 1993.
[3]
Pascal Raymond. Recognizing regular expressions by means of dataflow networks. In Automata, Languages and Programming, 23rd International Colloquium, volume 1099 of Lecture Notes in Computer Science, pages 336–347, Paderborn, Germany, July 1996. Springer-Verlag.

Previous Up