Reasoning about Fair Concurrent Programs

Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper. Reasoning about Fair Concurrent Programs. In Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing, 28-30 May 1986, Berkeley, California, USA. pages 283-294, ACM, 1986.

Abstract

Abstract is missing.