A complexity analysis of bisimilarity for value-passing processes
scientific article; zbMATH DE number 1493202
scientific article