An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators

Thierry Massart. An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators. Inf. Process. Lett., 40(4):213-218, 1991.

Abstract

Abstract is missing.