Semantic for Abstract Fairness using Metric Spaces

Lutz Priese, Doris Nolte. Semantic for Abstract Fairness using Metric Spaces. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings. Volume 440 of Lecture Notes in Computer Science, pages 355-368, Springer, 1989.

Abstract

Abstract is missing.