David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power. Four Logics and a Protocol. In Andrew Butterfield, Klemens Haegele, editors, 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS, 1999.
@inproceedings{GrayHSGP99,
title = {Four Logics and a Protocol},
author = {David Gray and Geoff Hamilton and David Sinclair and J. Paul Gibson and James F. Power},
year = {1999},
tags = {protocol, logic},
researchr = {https://researchr.org/publication/GrayHSGP99},
cites = {0},
citedby = {0},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999},
editor = {Andrew Butterfield and Klemens Haegele},
series = {Workshops in Computing},
publisher = {BCS},
}