J. Baeten

发表

Jan A. Bergstra, Jos C. M. Baeten, Jan Willem Klop, 1987, JACM.
C. Kirchner, J. Baeten, Laurent Romary, 2016 .
Jos C. M. Baeten, Jasen Markovski, Allan van Hulst, 2011, PACO.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1994, Formal Aspects of Computing.
Jos C. M. Baeten, Reniers, J. Baeten, 2000 .
Erik Poll, Martijn Warnier, Sjouke Mauw, 2002 .
Jos C. M. Baeten, Twan Basten, Michel A. Reniers, 2009 .
Jan Friso Groote, J.C.M. Baeten, J. F. Groote, 1991 .
Jos C. M. Baeten, Alexandra Silva, Luca Aceto, 2020, CONCUR.
J. Baeten, B. Luttik, A. Belder, 2019 .
J. C. M. Baeten, W. P. Weijland, J. Baeten, 1990 .
Jos C. M. Baeten, Mario Bravetti, M. Bravetti, 2008, Mathematical Structures in Computer Science.
Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer, 2007, JACM.
Erik P. de Vink, Jos C. M. Baeten, E. Vink, 2002, J. Log. Algebraic Methods Program..
Jos C. M. Baeten, J. E. Rooda, Dirk A. van Beek, 2007, Handbook of Dynamic System Modeling.
Jos C. M. Baeten, Chris Verhoef, J. Baeten, 1993, CONCUR.
Jan A. Bergstra, Jos C. M. Baeten, Jan Willem Klop, 1987, Theor. Comput. Sci..
Jan A. Bergstra, Jos C. M. Baeten, Jan Willem Klop, 1987, PARLE.
Jos C. M. Baeten, R. J. vanGlabbeek, J. Baeten, 1987 .
Chris Verhoef, Jos C. M. Baeten, J. Baeten, 1995, LICS 1995.
Jos C. M. Baeten, Rob J. van Glabbeek, R. V. Glabbeek, 1987, ICALP.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1990 .
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1988, Inf. Comput..
Jos C. M. Baeten, Kees Middelburg, J. Baeten, 2002, Monographs in Theoretical Computer Science. An EATCS Series.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1995, FCT.
Jan A. Bergstra, Jos C. M. Baeten, Jan Willem Klop, 1987, Formal Description of Programming Concepts.
Jos C. M. Baeten, Kees Middelburg, J. Baeten, 1999, Handbook of Process Algebra.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1994, Theor. Comput. Sci..
Jos C. M. Baeten, Bas Luttik, J. Baeten, 2011, Theor. Comput. Sci..
Jos C. M. Baeten, J. Baeten, 2005, Theor. Comput. Sci..
Jos C. M. Baeten, Frits W. Vaandrager, F. Vaandrager, 1992, Acta Informatica.
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers, 2005, Processes, Terms and Cycles.
J. C. M. Baeten, W. P. Weijland, J. Baeten, 1990 .
Jos C. M. Baeten, Rob J. van Glabbeek, R. V. Glabbeek, 1987, FSTTCS.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1991, Formal Aspects of Computing.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1993, CONCUR.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1992, FTRTFT.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1991, Theor. Comput. Sci..
Jos C. M. Baeten, Davide Sangiorgi, J. Baeten, 2014, Computational Logic.
Jan A. Bergstra, Jos C. M. Baeten, Scott A. Smolka, 1995, Inf. Comput..
Jan A. Bergstra, Jos C. M. Baeten, Scott A. Smolka, 1992, CONCUR.
Jos C. M. Baeten, Suzana Andova, J. Baeten, 2001, TACAS.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1992, Formal Aspects of Computing.
Jan A. Bergstra, Jos C. M. Baeten, Roland N. Bol, 1994, ICTL.
Jos C. M. Baeten, Bas Luttik, Jasen Markovski, 2011, Proceedings of the 2011 American Control Conference.
Gerhard J. Woeginger, Jan Karel Lenstra, Joachim Parrow, 2003, Lecture Notes in Computer Science.
Tim Muller, Jcm Jos Baeten, J. Baeten, 2010, Mathematical Structures in Computer Science.
Jos C. M. Baeten, J. Baeten, 1992, NAPAW.
Jos C. M. Baeten, Bas Luttik, P. J. A. van Tilburg, 2011, Inf. Comput..
Jan A. Bergstra, Jos C. M. Baeten, Jan Willem Klop, 1987, Comput. J..
Twan Basten, Jos C. M. Baeten, T. Basten, 2001, Handbook of Process Algebra.
Jan A. Bergstra, Jos C. M. Baeten, Jan Willem Klop, 1989, Theor. Comput. Sci..
Jos C. M. Baeten, Sjouke Mauw, J. Baeten, 1994, FORTE.
Jan A. Bergstra, Jan Willem Klop, Jos C. M. Baeten, 1985 .
Jan A. Bergstra, Jos C. M. Baeten, Jan Willem Klop, 1987, RTA.
Jan A. Bergstra, Gheorghe Stefanescu, Jos C. M. Baeten, 1994 .
Jos C. M. Baeten, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda, 2016, CDC 2016.
J. Baeten, W. Weijland, 1990, Cambridge tracts in theoretical computer science.
R. V. Glabbeek, J. Baeten, L. Aceto, 2014, Computational Logic.
Jos C. M. Baeten, Bas Luttik, P. J. A. van Tilburg, 2012, ERCIM News.
Erik P. de Vink, Jos C. M. Baeten, Pedro R. D'Argenio, 2012, Formal Aspects of Computing.
Jos C. M. Baeten, J. Baeten, 2008, Concurrency, Graphs and Models.
Jos C. M. Baeten, Michel A. Reniers, J. Baeten, 2007, J. Log. Algebraic Methods Program..
Jos C. M. Baeten, Bas Luttik, J. M. van de Mortel-Fronczak, 2005, J. Log. Algebraic Methods Program..
Jos C. M. Baeten, Mario Bravetti, M. Bravetti, 2005, CONCUR.
Jos C. M. Baeten, Michel A. Reniers, J. Baeten, 2004, SFM.
Jos C. M. Baeten, J. Baeten, 2003, Mathematical Structures in Computer Science.
Jos C. M. Baeten, Kees Middelburg, J. Baeten, 2001, J. Log. Algebraic Methods Program..
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1994, CONCUR.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1990, CONCUR.
J. Baeten, P. V. Tilburg, B. Luttik, 2011 .
J. Baeten, W. Weijland, 1990, Cambridge tracts in theoretical computer science.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1997, Fundam. Informaticae.
J. Bergstra, J. Baeten, Gheorghe Stefanescu, 1994 .
J. C. M. Baeten, de Boer J. W. Klop C. Palamidessi, R. C. Backhouse J. S. C. P. v. d. Woude, 1992 .
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1997, CONCUR.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1998, EXPRESS.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1993 .
Jan A. Bergstra, Jos C. M. Baeten, Michel A. Reniers, 2000, Proof, Language, and Interaction.
Jan A. Bergstra, Jos C. M. Baeten, J. Bergstra, 1991, Formal Aspects of Computing.