Using Event Calculus for Protocol Specification: An Experiment

Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye. Using Event Calculus for Protocol Specification: An Experiment. In Deductive Databases / Abduction in Deductive Databases. pages 187-201, 1995.

Abstract

Abstract is missing.