Ralph-Johan Back, Reino Kurki-Suonio. Superposition and fairness in reactive system refinement. In Joshua Maor, Abraham Peled, editors, Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, Jerusalem, October 22-25, 1990. pages 162-172, IEEE, 1990. [doi]
@inproceedings{BackK90,
title = {Superposition and fairness in reactive system refinement},
author = {Ralph-Johan Back and Reino Kurki-Suonio},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=100541},
researchr = {https://researchr.org/publication/BackK90},
cites = {0},
citedby = {0},
pages = {162-172},
booktitle = {Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, Jerusalem, October 22-25, 1990},
editor = {Joshua Maor and Abraham Peled},
publisher = {IEEE},
isbn = {0-8186-2078-1},
}