Contradiction-Tolerant Process Algebra with Propositional Signals

Jan A. Bergstra, C. A. Middelburg. Contradiction-Tolerant Process Algebra with Propositional Signals. Fundamenta Informaticae, 153(1-2):29-55, 2017. [doi]

Abstract

Abstract is missing.