Bergstra, J. A.; Ponse, A.; Van Der Zwaag, M. B. Tuplix calculus. (English) Zbl 1424.68098 Sci. Ann. Comput. Sci. 18, 35-61 (2008). MSC: 68Q85 91G99 PDF BibTeX XML Cite \textit{J. A. Bergstra} et al., Sci. Ann. Comput. Sci. 18, 35--61 (2008; Zbl 1424.68098)
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 PDF BibTeX XML Cite \textit{J. A. Bergstra} et al., Theor. Comput. Sci. 309, No. 1--3, 313--355 (2003; Zbl 1070.68100) Full Text: DOI