David Scholefield, Hussein S. M. Zedan, Jifeng He. A Predicative Semantics for the Refinement of Real-Time Systems. In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Volume 802 of Lecture Notes in Computer Science, pages 230-249, Springer, 1993.
@inproceedings{ScholefieldZJ93,
title = {A Predicative Semantics for the Refinement of Real-Time Systems},
author = {David Scholefield and Hussein S. M. Zedan and Jifeng He},
year = {1993},
tags = {semantics, refinement},
researchr = {https://researchr.org/publication/ScholefieldZJ93},
cites = {0},
citedby = {0},
pages = {230-249},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt},
volume = {802},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58027-1},
}