Muffy Calder, Savi Maharaj, Carron Shankland. A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J., 45(1):55-61, 2002. [doi]
@article{CalderMS02,
title = {A Modal Logic for Full LOTOS based on Symbolic Transition Systems},
author = {Muffy Calder and Savi Maharaj and Carron Shankland},
year = {2002},
url = {http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450055.sgm.abs.html},
tags = {rule-based, modal logic, logic},
researchr = {https://researchr.org/publication/CalderMS02},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {45},
number = {1},
pages = {55-61},
}