Efficient Reduction Techniques for Systems with Many Components

E. Allen Emerson, Thomas Wahl. Efficient Reduction Techniques for Systems with Many Components. Electronic Notes in Theoretical Computer Science, 130:379-399, 2005. [doi]

Abstract

Abstract is missing.