Computing Publications

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.