Baeten, Jos C. M.; Luttik, Bas; Muller, Tim; van Tilburg, Paul Expressiveness modulo bisimilarity of regular expressions with parallel composition. (English) Zbl 1362.68198 Math. Struct. Comput. Sci. 26, No. 6, 933-968 (2016). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Math. Struct. Comput. Sci. 26, No. 6, 933--968 (2016; Zbl 1362.68198) Full Text: DOI arXiv
Baeten, Jos C. M.; Luttik, Bas; Muller, Tim; van Tilburg, Paul Expressiveness modulo bisimilarity of regular expressions with parallel composition (extended abstract). (English) Zbl 1455.68083 Fröschle, Sibylle (ed.) et al., Proceedings of the 17th international workshop on expressiveness in concurrency, EXPRESS’10, Paris, France, August 30, 2010. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 41, 1-15 (2010). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 41, 1--15 (2010; Zbl 1455.68083) Full Text: Link
Baeten, J. C. M.; Cuijpers, P. J. L.; Luttik, B.; van Tilburg, P. J. A. A process-theoretic look at automata. (English) Zbl 1274.68155 Arbab, Farhad (ed.) et al., Fundamentals of software engineering. Third IPM international conference, FSEN 2009, Kish Island, Iran, April 15–17, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11622-3/pbk). Lecture Notes in Computer Science 5961, 1-33 (2010). MSC: 68Q45 68Q05 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Lect. Notes Comput. Sci. 5961, 1--33 (2010; Zbl 1274.68155) Full Text: DOI
Baeten, J. C. M.; Cuijpers, P. J. L.; van Tilburg, P. J. A. A basic parallel process as a parallel pushdown automaton. (English) Zbl 1291.68276 Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 35-48 (2009). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Electron. Notes Theor. Comput. Sci. 242, No. 1, 35--48 (2009; Zbl 1291.68276) 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.; Cuijpers, P. J. L.; van Tilburg, P. J. A. A context-free process as a pushdown automaton. (English) Zbl 1160.68452 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 98-113 (2008). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Lect. Notes Comput. Sci. 5201, 98--113 (2008; Zbl 1160.68452) Full Text: DOI
Baeten, Jos C. M.; Corradini, Flavio; Grabmayer, Clemens A characterization of regular expressions under bisimulation. (English) Zbl 1292.68102 J. ACM 54, No. 2, Article No. 6, 28 p. (2007). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., J. ACM 54, No. 2, Article No. 6, 28 p. (2007; Zbl 1292.68102) Full Text: DOI
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. Decidability of bisimulation equivalence for processes generating context-free languages. (English) Zbl 0801.68102 J. Assoc. Comput. Mach. 40, No. 3, 653-682 (1993). Reviewer: J.J.Meyer MSC: 68Q45 68Q55 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., J. Assoc. Comput. Mach. 40, No. 3, 653--682 (1993; Zbl 0801.68102) Full Text: DOI
Akkerman, G. J.; Baeten, J. C. M. Term rewriting analysis in process algebra. (English) Zbl 0748.68034 CWI Q. 4, No. 4, 257-267 (1991). MSC: 68Q42 68Q55 68Q65 68Q45 68Q10 PDFBibTeX XMLCite \textit{G. J. Akkerman} and \textit{J. C. M. Baeten}, CWI Q. 4, No. 4, 257--267 (1991; Zbl 0748.68034)