Jos C. M. Baeten - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jos C. M. Baeten' as author, editor, or advisor:

Reconciling real and stochastic time: the need for probabilistic refinementJasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink. fac, 24(4-6):497-518, 2012. [doi]
Process Algebra with Timing: Real Time and Discrete TimeJos C. M. Baeten, C. A. Middelburg. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 627-684, North-Holland / Elsevier, 2001. [doi]
Pushdown Automata and Context-Free Grammars in Bisimulation SemanticsJos C. M. Baeten, Cesare Carissimo, Bas Luttik. lmcs, 19(1), 2023. [doi]
Computations and InteractionJos C. M. Baeten, Bas Luttik, Paul van Tilburg. icdcit 2011: 35-54 [doi]
Pushdown Automata and Context-Free Grammars in Bisimulation SemanticsJos C. M. Baeten, Cesare Carissimo, Bas Luttik. calco 2021: [doi]
Process algebraJos C. M. Baeten, W. P. Weijland. Volume 18 of Cambridge tracts in theoretical computer science, Cambridge University Press, 1990.
A process-theoretic approach to supervisory control theoryJos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, J. E. Rooda. amcc 2011: 4496-4501 [doi]
Partial-Order Process Algebra (and its Relation to Petri Nets)Jos C. M. Baeten, Twan Basten. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 769-872, North-Holland / Elsevier, 2001. [doi]
Reactive Turing machinesJos C. M. Baeten, Bas Luttik, Paul van Tilburg. iandc, 231:143-166, 2013. [doi]
When Turing Meets MilnerJos C. M. Baeten, Bas Luttik, Paul van Tilburg. ercim, 2012(91), 2012. [doi]
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of BisimilarityAstrid Belder, Bas Luttik, Jos C. M. Baeten. calco 2019: [doi]
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva 0001. concur 2020: [doi]
Unguardedness mostly means many solutionsJos C. M. Baeten, Bas Luttik. TCS, 412(28):3090-3100, 2011. [doi]
A Process-Theoretic Look at AutomataJos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg. fsen 2010: 1-33 [doi]
Applying Concurrency Research in Industry Report on a Strategic WorkshopLuca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann. eatcs, 94:113-129, 2008.
Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. ProceedingsJos C. M. Baeten, Thomas Ball, Frank S. de Boer, editors, Volume 7604 of Lecture Notes in Computer Science, Springer, 2012. [doi]
PrefaceLuca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna IngÃ³lfsdÃ³ttir, Uwe Nestmann. jlp, 78(4), 2009. [doi]
The role of supervisory controller synthesis in automatic control software developmentJos C. M. Baeten, Jasen Markovski. SCP, 97:17-22, 2015. [doi]
Conditional axioms and α/β-calculus in process algebraJos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. ifip2 1987: 53-76
Process Algebra with TimingJos C. M. Baeten, Cornelis A. Middelburg. Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2002. [doi]
Partially-Supervised Plants: Embedding Control Requirements in Plant ComponentsJasen Markovski, Dirk A. van Beek, Jos C. M. Baeten. IFM 2012: 253-267 [doi]
Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005Jos C. M. Baeten, Iain C. C. Phillips, editors, Volume 154 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006. [doi]
Real space process algebraJos C. M. Baeten, Jan A. Bergstra. fac, 5(6):481-529, 1993. [doi]
Turing Meets MilnerJos C. M. Baeten, Bas Luttik, Paul van Tilburg. concur 2012: 1-20 [doi]
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004Jos C. M. Baeten, Flavio Corradini, editors, Volume 128 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
Expressiveness modulo bisimilarity of regular expressions with parallel compositionJos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg. mscs, 26(6):933-968, 2016. [doi]
Concurrency Theory: A Historical Perspective on Coinduction and Process CalculiJos C. M. Baeten, Davide Sangiorgi. In Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, pages 399-442, Elsevier, 2014. [doi]
Reactive Turing MachinesJos C. M. Baeten, Bas Luttik, Paul van Tilburg. fct 2011: 348-359 [doi]
Home PageJos C. M. Baeten. http://www.win.tue.nl/~josb/,

runs on WebDSL