Jan A. Bergstra, Alban Ponse. Process Algebra with Four-Valued Logic. Journal of Applied Non-Classical Logics, 10(1):27-53, 2000.
@article{BergstraP00,
title = {Process Algebra with Four-Valued Logic},
author = {Jan A. Bergstra and Alban Ponse},
year = {2000},
tags = {process algebra, algebra, logic},
researchr = {https://researchr.org/publication/BergstraP00},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {10},
number = {1},
pages = {27-53},
}