Joseph P. Loyall, Simon M. Kaplan, Steven K. Goering. Abstraction and composition in Δ-specifications of concurrent systems. In Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman, editors, Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991. pages 52-59, IEEE Computer Society, 1991. [doi]
@inproceedings{LoyallKG91-0,
title = {Abstraction and composition in Δ-specifications of concurrent systems},
author = {Joseph P. Loyall and Simon M. Kaplan and Steven K. Goering},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952795},
researchr = {https://researchr.org/publication/LoyallKG91-0},
cites = {0},
citedby = {0},
pages = {52-59},
booktitle = {Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991},
editor = {Jean-Pierre Finance and Carlo Ghezzi and Gruia-Catalin Roman},
publisher = {IEEE Computer Society},
isbn = {978-0-8186-2320-2},
}