© 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}, }