© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Issues in distributed systems
P.F. Linington
In H.Bowman and J.Derrick, editors, Formal Methods for Distributed Processing, pages 182-196. Cambridge University Press, October 2001.Bibtex Record
@incollection{1314,
author = {P.F. Linington},
title = {Issues in Distributed Systems},
month = {October},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1314},
publication_type = {incollection},
submission_id = {11340_1008338847},
ISBN = {0 521 77184 6},
booktitle = {Formal Methods for Distributed Processing},
publisher = {Cambridge University Press},
editor = {H.Bowman and J.Derrick},
}