© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Formalising ODP Enterprise Policies
M. W. A. Steen and J. Derrick
In 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), pages 182-196, University of Mannheim, Germany, September 1999. IEEE Publishing. Download publication 476 kbytes (PostScript)Bibtex Record
@inproceedings{820,
author = {M. W. A. Steen and J. Derrick},
title = {Formalising {ODP} {E}nterprise {P}olicies},
month = {September},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/820},
address = {University of Mannheim, Germany},
booktitle = {3rd International Enterprise Distributed Object Computing Conference (EDOC '99)},
publisher = {IEEE Publishing},
refereed = {yes},
}