TY  - RPRT
TI  - Contradiction-tolerant process algebra with propositional signals
AU  - J. A. Bergstra
AU  - C. A. Middelburg
PY  - 2017
DO  - 10.3233/fi-2017-1530
UR  - https://arxiv.org/abs/1508.06899
ID  - 1508.06899
ER  -