## Marco Pistore, Davide Sangiorgi

*A Partition Refinement Algorithm for the π-Calculus*

CAV, 1996.

@inproceedings{CAV-1996-PistoreS, author = "Marco Pistore and Davide Sangiorgi", booktitle = "{Proceedings of the Eighth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-61474-5_56", isbn = "3-540-61474-5", pages = "38--49", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Partition Refinement Algorithm for the π-Calculus}", volume = 1102, year = 1996, }