Using event calculus to formalise policy specification and analysis (2003)

by A K Bandara, E Lupu, A Russo
Venue:4th IEEE International Workshop on Policies for Distributed Systems and Networks