Ralph-Johan Back, Kaisa Sere. Superposition Refinement of Parallel Algorithms. In Ken R. Parker, Gordon A. Rose, editors, Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 91, Sydney, Australia, 19-22 November 1991. Volume C-2 of IFIP Transactions, pages 475-493, North-Holland, 1991.
@inproceedings{BackS91:0,
title = {Superposition Refinement of Parallel Algorithms},
author = {Ralph-Johan Back and Kaisa Sere},
year = {1991},
tags = {refinement},
researchr = {https://researchr.org/publication/BackS91%3A0},
cites = {0},
citedby = {0},
pages = {475-493},
booktitle = {Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 91, Sydney, Australia, 19-22 November 1991},
editor = {Ken R. Parker and Gordon A. Rose},
volume = {C-2},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89402-0},
}