@inproceedings{88d68d7c9a03402ea5573e0b76d8407f,
title = "A predicative semantics for the refinement of real-time systems",
abstract = "A formal framework for a calculus of real-time systems is presented. Specifications and program statements are combined into a single language called T.AM (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 calcnlus.",
author = "David Scholefield and Hussein Zedan and He Jifeng",
note = "Publisher Copyright: {\textcopyright} 1994, Springer Verlag. All rights reserved.; 9th International Conference on the Mathematical Foundations of Programming Semantics, 1993 ; Conference date: 07-04-1993 Through 10-04-1993",
year = "1994",
doi = "10.1007/3-540-58027-1\_11",
language = "英语",
isbn = "9783540580270",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "230--249",
editor = "Stephen Brookes and Michael Main and Austin Melton and Michael Mislove and David Schmidt",
booktitle = "Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings",
address = "德国",
}