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)
Ponse, Alban; van der Zwaag, Mark B. Risk assessment for one-counter threads. (English) Zbl 1166.68010 Theory Comput. Syst. 43, No. 3-4, 563-582 (2008). MSC: 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{A. Ponse} and \textit{M. B. van der Zwaag}, Theory Comput. Syst. 43, No. 3--4, 563--582 (2008; Zbl 1166.68010) Full Text: DOI
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
Ponse, Alban; van der Zwaag, Mark B. An introduction to program and thread algebra. (English) Zbl 1131.68411 Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 445-458 (2006). MSC: 68N30 68N15 68Q85 PDF BibTeX XML Cite \textit{A. Ponse} and \textit{M. B. van der Zwaag}, Lect. Notes Comput. Sci. 3988, 445--458 (2006; Zbl 1131.68411) 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 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