Towards Effect Preservation of Updates with Loops

Steffen Jurk, Mira Balaban. Towards Effect Preservation of Updates with Loops. In Michael Gertz, editor, Integrity and Internal Control in Information Systems V, IFIP TC11/WG11.5 Fifth Working Conference on Integrity and Internal Control in Information Systems (IICIS), November 11-12, 2002, Bonn, Germany. Volume 251 of IFIP Conference Proceedings, pages 59-75, Kluwer, 2002.

Abstract

Abstract is missing.