Media type: E-Article Title: CONCUR '95: Concurrency Theory: Checking bisimilarity for finitary π-calculus Contributor: Montanari, Ugo; Pistore, Marco imprint: Springer Berlin Heidelberg, 1995 Published in: CONCUR '95: Concurrency Theory Language: Not determined DOI: 10.1007/3-540-60218-6_4 ISSN: 1611-3349; 0302-9743 Origination: Footnote: