Media type: E-Article Title: A Partition Refinement Algorithm for the π-Calculus Contributor: Pistore, Marco; Sangiorgi, Davide imprint: Elsevier BV, 2001 Published in: Information and Computation Language: English DOI: 10.1006/inco.2000.2895 ISSN: 0890-5401 Keywords: Computational Theory and Mathematics ; Computer Science Applications ; Information Systems ; Theoretical Computer Science Origination: Footnote: Access State: Open Access