@inproceedings{955b80712d0e4594b0ad1b32d397cd5a,
title = "Real-time refinement: Semantics and application",
abstract = "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.",
author = "David Scholefield and Hussein Zedan and He Jifeng",
note = "Publisher Copyright: {\textcopyright} 1993, Springer Verlag. All rights reserved.; 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993 ; Conference date: 30-08-1993 Through 03-09-1993",
year = "1993",
doi = "10.1007/3-540-57182-5\_60",
language = "英语",
isbn = "9783540571827",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "693--702",
editor = "Borzyszkowski, \{Andrzej M.\} and Stefan Sokolowski",
booktitle = "Mathematical Foundations of Computer Science 1993 - 18th International Symposium, MFCS 1993, Proceedings",
address = "德国",
}