Thierry Massart. An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators. Inf. Process. Lett., 40(4):213-218, 1991.
@article{Massart91, title = {An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators}, author = {Thierry Massart}, year = {1991}, researchr = {https://researchr.org/publication/Massart91}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {40}, number = {4}, pages = {213-218}, }