Jitka Stríbrná. Hardness results for weak bisimilarity of simple process algebras. Electronic Notes in Theoretical Computer Science, 18:179-190, 1998. [doi]
@article{Stribrna98,
title = {Hardness results for weak bisimilarity of simple process algebras},
author = {Jitka Stríbrná},
year = {1998},
url = {http://www.elsevier.com/gej-ng/31/29/23/42/23/show/Products/notes/index.htt#015},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/Stribrna98},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {18},
pages = {179-190},
}