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 PDFBibTeX XMLCite \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
Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B. Branching time and orthogonal bisimulation equivalence. (English) Zbl 1070.68100 Theor. Comput. Sci. 309, No. 1-3, 313-355 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. A. Bergstra} et al., Theor. Comput. Sci. 309, No. 1--3, 313--355 (2003; Zbl 1070.68100) Full Text: DOI