Refinement of Fair Action Systems

Ralph-Johan Back, Qiwen Xu. Refinement of Fair Action Systems. Acta Informatica, 35(2):131-165, 1998. [doi]

Abstract

Abstract is missing.