论文信息 - Real-Time Programming

Real-Time Programming

Abstract We try to say what constitues real-time programming by looking at some examples. We also comment on the kind of communication primitives that aid this programming, and the kind of formal semantics that is required.

Eric C. R. Hehner

[1] Christian Lengauer. A Methodology for Programming with Concurrency: The Formalism , 1982, Sci. Comput. Program..

[2] Nicolas Halbwachs,et al. Automatic Control Systems Programming Using a Real Time Declarative Language , 1986 .

[3] Eric C. R. Hehner,et al. A methodolgy for programming with concurrency , 1981, CONPAR.

[4] Eric C. R. Hehner,et al. Predicative programming Part I , 1984, CACM.