Jan A. Bergstra, C. A. Middelburg. Contradiction-Tolerant Process Algebra with Propositional Signals. Fundamenta Informaticae, 153(1-2):29-55, 2017. [doi]
@article{BergstraM17,
title = {Contradiction-Tolerant Process Algebra with Propositional Signals},
author = {Jan A. Bergstra and C. A. Middelburg},
year = {2017},
doi = {10.3233/FI-2017-1530},
url = {https://doi.org/10.3233/FI-2017-1530},
researchr = {https://researchr.org/publication/BergstraM17},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {153},
number = {1-2},
pages = {29-55},
}