Process Algebra with Four-Valued Logic

Jan A. Bergstra, Alban Ponse. Process Algebra with Four-Valued Logic. Journal of Applied Non-Classical Logics, 10(1):27-53, 2000.

Abstract

Abstract is missing.