A Taxonomy of Infinite State Processes

Faron Moller. A Taxonomy of Infinite State Processes. Electronic Notes in Theoretical Computer Science, 18:3-22, 1998. [doi]

Abstract

Abstract is missing.