On the Uniqueness of Fixpoints Modulo Observation Congruence

Ed Brinksma. On the Uniqueness of Fixpoints Modulo Observation Congruence. In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 47-61, Springer, 1992.

Abstract

Abstract is missing.