Prof.dr. J.C.M. Baeten

Pagina-navigatie:

filter results

Type

Date

Accessibility

Institution

21-30 out of 214 results by:date

Save search results

A ground-complete axiomatization of finite-state processes in generic process algebra (2008)

Authors: Baeten, JCM (Jos); Bravetti, M (Mario)
In: Mathematical Structures in Computer Science, 18(6), 1057. ISSN 0960-1295.

Authors:	Baeten, JCM (Jos); Bravetti, M (Mario)
In:	Mathematical Structures in Computer Science, 18(6), 1057. ISSN 0960-1295.

Authors:	Aceto, L (Luca); Baeten, JCM (Jos); Fokkink, WJ (Willem Jan); Ingólfsdóttir, A (Anna); Nestmann, U
In:	Bulletin of the European Association for Theoretical Computer Science, 94, 113. ISSN 0252-9742.

Calculating with automata (2008)

Author: Baeten, JCM (Jos)
A context-free process as a pushdown automaton (2008)

Authors: Baeten, JCM (Jos); Cuijpers, PJL (Pieter); Tilburg, van PJA (Paul)
Special Issue on Automata, Languages and Programming (2007)Open access

Authors: Baeten, J.C.M.; Lenstra, J.K.; Woeginger, G.J.
In: Theoretical Computer Science, 379(3), 305 - 305. ISSN 0304-3975.
A Characterization of Regular Expressions under Bisimulation (2007)

Authors: Baeten, J.C.M.; Corradini, F.; Grabmayer, C.A.
In: Journal of the ACM, 54(2), 1 - 28
Duplication of Constants in Process Algebra (2007)

Authors: Baeten, J.C.M.; Reniers, M.A.
In: Journal of Logic and Algebraic Programming, 70(2), 151 - 171. North-Holland. ISSN 1567-8326.
Process Algebra (2007)

Authors: Baeten, J.C.M.; Beek, van D.A.; Rooda, J.E.; Fishwick, P.A.
Special Issue on Expressivity (2007)

Authors: Baeten, J.C.M.; Phillips, I.C.C.
In: Theoretical Computer Science, 386, 167 - 168. ISSN 0304-3975.
A characterization of regular expressions under bisimulation (2007)

Authors: Baeten, JCM (Jos); Corradini, F (Flavio); Grabmayer, CA
In: Journal of the ACM, 54(2), 6. ISSN 0004-5411.

Author:	Baeten, JCM (Jos)

Authors:	Baeten, JCM (Jos); Cuijpers, PJL (Pieter); Tilburg, van PJA (Paul)

Authors:	Baeten, J.C.M.; Lenstra, J.K.; Woeginger, G.J.
In:	Theoretical Computer Science, 379(3), 305 - 305. ISSN 0304-3975.

Authors:	Baeten, J.C.M.; Corradini, F.; Grabmayer, C.A.
In:	Journal of the ACM, 54(2), 1 - 28

Authors:	Baeten, J.C.M.; Reniers, M.A.
In:	Journal of Logic and Algebraic Programming, 70(2), 151 - 171. North-Holland. ISSN 1567-8326.

Authors:	Baeten, J.C.M.; Beek, van D.A.; Rooda, J.E.; Fishwick, P.A.

Authors:	Baeten, J.C.M.; Phillips, I.C.C.
In:	Theoretical Computer Science, 386, 167 - 168. ISSN 0304-3975.

Authors:	Baeten, JCM (Jos); Corradini, F (Flavio); Grabmayer, CA
In:	Journal of the ACM, 54(2), 6. ISSN 0004-5411.

Pages:

<< < 1 2 3 4 5 6 7 8 9 10 > >>