author = { Pistore, Marco AND Sangiorgi, Davide },

title = { A Partition Refinement Algorithm for the π-Calculus },

publisher = {Elsevier BV},

isbn = {0890-5401},

keywords = { Computational Theory and Mathematics , Computer Science Applications , Information Systems , Theoretical Computer Science },

year = {2001},

url = { http://slubdd.de/katalog?TN_libero_mab2 }