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.
Abstract is missing.