Process Algebra with Five-Valued Conditions (1999)

by Jan A. Bergstra , Alban Ponse
Citations:3 - 1 self