On the Uniqueness of Fixpoints Modulo Observation Congruence.

Ed Brinksma

Browse the full CONCUR paper archive.