Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen. Logical and Operational Methods in the Analysis of Programs and Systems. In Mads Dam, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Volume 1192 of Lecture Notes in Computer Science, pages 1-21, Springer, 1996.
Abstract is missing.