Baeten, Jos C. M.; Carissimo, Cesare; Luttik, Bas Pushdown automata and context-free grammars in bisimulation semantics. (English) Zbl 07667088 Log. Methods Comput. Sci. 19, No. 1, Paper No. 15, 32 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 15, 32 p. (2023; Zbl 07667088) Full Text: DOI arXiv
Belder, Astrid; Luttik, Bas; Baeten, Jos Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity. (English) Zbl 07649894 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 11, 22 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Belder} et al., LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 11, 22 p. (2019; Zbl 07649894) Full Text: DOI
Baeten, Jos; Luttik, Bas; Yang, Fei Sequential composition in the presence of intermediate termination (extended abstract). (English) Zbl 1483.68221 Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 1-17 (2017). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{J. Baeten} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 1--17 (2017; Zbl 1483.68221) Full Text: arXiv Link
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul Reactive Turing machines. (English) Zbl 1358.68097 Inf. Comput. 231, 143-166 (2013). MSC: 68Q05 68Q10 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Inf. Comput. 231, 143--166 (2013; Zbl 1358.68097) Full Text: DOI
Baeten, Jos C. M.; Luttik, Bas Unguardedness mostly means many solutions. (English) Zbl 1216.68185 Theor. Comput. Sci. 412, No. 28, 3090-3100 (2011). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{J. C. M. Baeten} and \textit{B. Luttik}, Theor. Comput. Sci. 412, No. 28, 3090--3100 (2011; Zbl 1216.68185) Full Text: DOI
Baeten, J. C. M.; van Beek, D. A.; Cuijpers, P. J. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.; Theunissen, R. J. M. Model-based engineering of embedded systems using the hybrid process algebra Chi. (English) Zbl 1279.68245 Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 21-53 (2008). MSC: 68Q85 68Q70 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Electron. Notes Theor. Comput. Sci. 209, 21--53 (2008; Zbl 1279.68245) Full Text: DOI
Baeten, J. C. M.; Reniers, M. A. Duplication of constants in process algebra. (English) Zbl 1106.68069 J. Log. Algebr. Program. 70, No. 2, 151-171 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} and \textit{M. A. Reniers}, J. Log. Algebr. Program. 70, No. 2, 151--171 (2007; Zbl 1106.68069) Full Text: DOI Link
Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E. Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal. (English) Zbl 1088.68523 J. Log. Algebr. Program. 65, No. 2, 51-104 (2005). MSC: 68M20 68M15 90B30 PDFBibTeX XMLCite \textit{E. Bortnik} et al., J. Log. Algebr. Program. 65, No. 2, 51--104 (2005; Zbl 1088.68523) Full Text: DOI
Baeten, J. C. M. A brief history of process algebra. (English) Zbl 1080.68072 Theor. Comput. Sci. 335, No. 2-3, 131-146 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten}, Theor. Comput. Sci. 335, No. 2--3, 131--146 (2005; Zbl 1080.68072) Full Text: DOI Link
Baeten, J. C. M.; Middelburg, C. A. Real time process algebra with time-dependent conditions. (English) Zbl 0992.68152 J. Log. Algebr. Program. 48, No. 1-2, 1-38 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} and \textit{C. A. Middelburg}, J. Log. Algebr. Program. 48, No. 1--2, 1--38 (2001; Zbl 0992.68152) Full Text: DOI