© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An ODP approach to the development of large middleware systems
P.F. Linington
In Proc. Distributed Applications and Interoperable Systems II, Helsinki, pages 182-196. Kluwer, June 1999.Bibtex Record
@inproceedings{742,
author = {P.F. Linington},
title = {An {ODP} approach to the development of large middleware systems},
month = {June},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/742},
ISBN = {0-7923-8527-6},
booktitle = {Proc. Distributed Applications and Interoperable Systems II, Helsinki},
publisher = {Kluwer},
refereed = {invited},
}