Publications Home » Using Event Calculus to Formalise...
Using Event Calculus to Formalise Policy Speciflcation and Analysis (2003)
Arosha Bandara, Emil Lupu, Alessandra Russo
- Conference or Workshop Paper
- 4th IEEE International Workshop on Policies for Distributed Systems and Networks, Lake Como, Italy, 2003
- June, 2003
- ISBN 0-7695-1933-4
PDF of full publication (579 kilobytes)- (need help viewing PDF files?)
BibTEX file for the publication - N.B.
- Conditions for downloading publications from this site.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.