A formal framework for a calculus of real-time systems is presented. Specifications and program statements are combined into a single language called TAM (the Temporal Agent Model), that allows the user to express both functional and timing properties. A specification oriented semantics for TAM is given, along with the definition of a refinement relation and a calculus which is sound with respect to that relation. A simple real-time program is also developed using the calculus.
CITATION STYLE
Scholefield, D., Zedan, H., & Jifeng, H. (1993). Real-time refinement: Semantics and application. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 711 LNCS, pp. 693–702). Springer Verlag. https://doi.org/10.1007/3-540-57182-5_60
Mendeley helps you to discover research relevant for your work.