On the Consistency of Koomen s Fair Abstraction Rule

Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. On the Consistency of Koomen s Fair Abstraction Rule. Theoretical Computer Science, 51:129-176, 1987.

Abstract

Abstract is missing.