Some Consideration on Real-Time Behavior of Concurrent Programs

  • Authors:

  • Alfonso Fuggetta;Carlo Ghezzi;Dino Mandrioli

  • Affiliations:

  • CEFRIEL, Milan, Italy;Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy

  • Venue:
  • IEEE Transactions on Software Engineering
  • Year:
  • 1989

Quantified Score

Hi-index 0.00

Visualization

Abstract

Some basic semantic issues of a language for a reliable and provably correct real-time programs are discussed. The language is based on E.W. Dijkstra's guarded commands and on a proposal by V.H. Haase (1981). Haase's proposal is assessed, its semantic consistencies are shown, and corrections are proposed that give a sound basis for a real-time language based on guarded commands.