Gadi Taubenfeld, Nissim Francez. Proof Rules for Communication Abstractions (Abstract). In Mathai Joseph, R. K. Shyamasundar, editors, Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings. Volume 181 of Lecture Notes in Computer Science, pages 118, Springer, 1984.
@inproceedings{TaubenfeldF84,
title = {Proof Rules for Communication Abstractions (Abstract)},
author = {Gadi Taubenfeld and Nissim Francez},
year = {1984},
tags = {rule-based, rules, abstraction},
researchr = {https://researchr.org/publication/TaubenfeldF84},
cites = {0},
citedby = {0},
pages = {118},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
editor = {Mathai Joseph and R. K. Shyamasundar},
volume = {181},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-13883-8},
}