State space reduction for process algebra specifications

Hubert Garavel, Wendelin Serwe. State space reduction for process algebra specifications. Theoretical Computer Science, 351(2):131-145, 2006. [doi]

Abstract

Abstract is missing.