Reasoning About Recursive Processes: Expansion is not Always Fair

Stephen D. Brookes. Reasoning About Recursive Processes: Expansion is not Always Fair. Electronic Notes in Theoretical Computer Science, 20:182-201, 1999. [doi]

Abstract

Abstract is missing.