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