Ponse, Alban; van der Zwaag, Mark B. Belnap’s logic and conditional composition. (English) Zbl 1179.03029 Theor. Comput. Sci. 388, No. 1-3, 319-336 (2007). MSC: 03B50 03B70 PDF BibTeX XML Cite \textit{A. Ponse} and \textit{M. B. van der Zwaag}, Theor. Comput. Sci. 388, No. 1--3, 319--336 (2007; Zbl 1179.03029) Full Text: DOI
Ponse, Alban; van der Zwaag, Mark B. A generalization of ACP using Belnap’s logic. (English) Zbl 1106.68075 J. Log. Algebr. Program. 70, No. 2, 222-235 (2007). MSC: 68Q85 03B50 PDF BibTeX XML Cite \textit{A. Ponse} and \textit{M. B. van der Zwaag}, J. Log. Algebr. Program. 70, No. 2, 222--235 (2007; Zbl 1106.68075) Full Text: DOI
Ponse, Alban; van der Zwaag, Mark B. A generalization of ACP using Belnap’s logic. (English) Zbl 1316.68104 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 287-293 (2006). MSC: 68Q85 03B50 PDF BibTeX XML Cite \textit{A. Ponse} and \textit{M. B. van der Zwaag}, Electron. Notes Theor. Comput. Sci. 162, 287--293 (2006; Zbl 1316.68104) Full Text: DOI