Kim Guldstrand Larsen, Bent Thomsen. A Modal Process Logic. In Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK. pages 203-210, IEEE Computer Society, 1988.
@inproceedings{LarsenT88:0,
title = {A Modal Process Logic},
author = {Kim Guldstrand Larsen and Bent Thomsen},
year = {1988},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/LarsenT88%3A0},
cites = {0},
citedby = {0},
pages = {203-210},
booktitle = {Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK},
publisher = {IEEE Computer Society},
}