© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Coordinated decision making in distributed applications
David W. Chadwick
Information Security Technical Report, Elsevier, 12(3):182-196, January 2007.Bibtex Record
@article{2652, author = {David W. Chadwick}, title = {Coordinated decision making in distributed applications}, month = {January}, year = {2007}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2007/2652}, publication_type = {article}, submission_id = {17942_1204024433}, journal = {Information Security Technical Report, Elsevier}, volume = {12}, number = {3}, }