A Denotational Model for Instantaneous Signal Calculus
暂无分享,去创建一个
Jifeng He | Yongxin Zhao | Huibiao Zhu | Longfei Zhu | Jifeng He | Huibiao Zhu | Yongxin Zhao | Longfei Zhu
[1] Gérard Berry,et al. The foundations of Esterel , 2000, Proof, Language, and Interaction.
[2] Roger D. Maddux,et al. Relation-Algebraic Semantics , 1996, Theor. Comput. Sci..
[3] Phillip A. Laplante,et al. Real-time systems design and analysis - an engineer's handbook , 1992 .
[4] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[5] Augusto Sampaio,et al. Normal form approach to compiler design , 1993, Acta Informatica.
[6] Mohammad Reza Mousavi,et al. Causality in the Semantics of Esterel: Revisited , 2010, SOS.
[7] Robert de Simone,et al. Loops in esterel , 2005, TECS.
[8] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.
[9] Ajitha Rajan,et al. Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.
[10] C. A. R. Hoare,et al. Laws of programming , 1987, CACM.
[11] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[12] Jifeng He,et al. Towards a Signal Calculus for Event-Based Synchronous Languages , 2011, ICFEM.
[13] C. A. R. Hoare,et al. The Laws of Occam Programming , 1988, Theor. Comput. Sci..