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. 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
Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J. Completeness of timed \(\mu\)CRL. (English) Zbl 1011.68063 Fundam. Inform. 50, No. 3-4, 361-402 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. A. Reniers} et al., Fundam. Inform. 50, No. 3--4, 361--402 (2002; Zbl 1011.68063)
van der Zwaag, Mark B. The cones and foci proof technique for timed transition systems. (English) Zbl 1003.68092 Inf. Process. Lett. 80, No. 1, 33-40 (2001). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{M. B. van der Zwaag}, Inf. Process. Lett. 80, No. 1, 33--40 (2001; Zbl 1003.68092) Full Text: DOI
Shankland, Carron; van der Zwaag, Mark The tree identify protocol of IEEE 1394 in \(\mu\)CRL. (English) Zbl 0951.68532 Formal Asp. Comput. 10, No. 5-6, 509-531 (1998). MSC: 68Q60 PDF BibTeX XML Cite \textit{C. Shankland} and \textit{M. van der Zwaag}, Formal Asp. Comput. 10, No. 5--6, 509--531 (1998; Zbl 0951.68532) Full Text: DOI