C Giblin, S Müller, B Pfitzmann - … Zurich, Report RZ, 2006 - dominoweb.draco.res.ibm.com
… in compliance policies and their automated transformation into event correlation rules. …
information contained in the abstract state predicate pred(x,y). We explain this transformation …