Bengt Jonsson, Kim Guldstrand Larsen
On the Complexity of Equation Solving in Process Algebra
TAPSOFT, 1991.
@inproceedings{CAAP-1991-JonssonL,
author = "Bengt Jonsson and Kim Guldstrand Larsen",
booktitle = "{Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}",
doi = "10.1007/3-540-53982-4_21",
isbn = "3-540-53982-4",
pages = "381--396",
publisher = "{Springer}",
title = "{On the Complexity of Equation Solving in Process Algebra}",
year = 1991,
}