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]

No reviews for this publication, yet.