Process algebra with five-valued conditions,” pp. 128– 43 (1999)

by J A Bergstra, A Ponse
Venue:in Combinatorics, Complexity, and Logic, Proceedings of DMTCS’99 and CATS’99