University of Leicester

informatics

Rick Thomas - Books


Concurrency
Formal Methods

M. Z. Kwiatkowska, M. W. Shields and R. M. Thomas (eds.), Semantics for Concurrency (Springer-Verlag, 1990).

D. J. Andrews, D. Blyth, C. Boldyreff, D. Duce, P. Hall, R. Neely, C. L. N. Ruggles, N. Tetteh-Lartey, R. M. Thomas and A. Wrightson, Formal Methods in Standards - a Report from the BCS Working Group (Springer-Verlag, 1990).


Back to Rick Thomas' Home Page.

Author: Rick Thomas (rmt@mcs.le.ac.uk).
University of Leicester 12 April 2006. Last modified: 14th November 2017, 21:33:18.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.