Basic Process Algebra with Iteration: Completeness of its Equational Axioms

Wan Fokkink, Hans Zantema. Basic Process Algebra with Iteration: Completeness of its Equational Axioms. Comput. J., 37(4):259-268, 1994.

Abstract

Abstract is missing.