Matthew Hennessy, Xinxin Liu. A Modal Logic for Message Passing Processes. Acta Informatica, 32(4):375-393, 1995.
@article{HennessyL95, title = {A Modal Logic for Message Passing Processes}, author = {Matthew Hennessy and Xinxin Liu}, year = {1995}, tags = {modal logic, logic}, researchr = {https://researchr.org/publication/HennessyL95}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {32}, number = {4}, pages = {375-393}, }