## Colin Stirling

*Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes*

FoSSaCS, 2001.

@inproceedings{FoSSaCS-2001-Stirling, author = "Colin Stirling", booktitle = "{Proceedings of the Fourth International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/3-540-45315-6_25", isbn = "3-540-41864-4", pages = "379--393", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes}", volume = 2030, year = 2001, }