Prof.dr. J.C.M. Baeten

Pagina-navigatie:

filter results

Type

Date

Accessibility

Institution

11-20 out of 214 results by:date

Save search results

Supervisory control theory toegepast op pretparkvoertuigen (2011)

Authors: Baeten, JCM (Jos); Mortel-Fronczak, van de JM (Joanna)
In: Bits & Chips : Nieuwsmagazine voor de Hightechindustrie, 13(9). ISSN 1879-6443.
A process algebra for supervisory coordination (2011)Open access

Authors: Baeten, JCM (Jos); Beek, van DA (Bert); Hulst, van AC; Markovski, J (Jasen)

Authors:	Baeten, JCM (Jos); Mortel-Fronczak, van de JM (Joanna)
In:	Bits & Chips : Nieuwsmagazine voor de Hightechindustrie, 13(9). ISSN 1879-6443.

Authors:	Baeten, JCM (Jos); Beek, van DA (Bert); Hulst, van AC; Markovski, J (Jasen)

Authors:	Baeten, JCM (Jos); Klop, JW (Jan Willem)
In:	Jan Karel Lenstra, the traveling science man. Liber amicorum / Ed. C. van Vonderen, 127. Amsterdam: Centrum Wiskunde & Informatica

A process-theoretic look at automata (2010)

Authors: Baeten, J.C.M.; Cuijpers, P.J.L.; Luttik, S.P.; Tilburg, van P.J.A.; Arbab, F.; Sirjani, M.
Expressiveness modulo bisimilarity of regular expressions with parallel composition (Extended Abstract) (2010)

Authors: Baeten, JCM (Jos); Luttik, SP (Bas); Muller, T; Tilburg, van PJA (Paul)
Design of asynchronous supervisors (2009)

Authors: Beohar, H.; Cuijpers, P.J.L.; Baeten, J.C.M.
A Basic Parallel Process as a Parallel Pushdown Automaton (2009)

Authors: Baeten, J.C.M.; Cuijpers, P.J.L.; Tilburg, van P.J.A.
In: Electronic Notes in Theoretical Computer science, 242(1), 35 - 48. Elsevier. ISSN 1571-0661.
A basic parallel process as a parallel pushdown automaton (2009)

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

Authors:	Baeten, J.C.M.; Cuijpers, P.J.L.; Luttik, S.P.; Tilburg, van P.J.A.; Arbab, F.; Sirjani, M.

Authors:	Baeten, JCM (Jos); Luttik, SP (Bas); Muller, T; Tilburg, van PJA (Paul)

Authors:	Beohar, H.; Cuijpers, P.J.L.; Baeten, J.C.M.

Authors:	Baeten, J.C.M.; Cuijpers, P.J.L.; Tilburg, van P.J.A.
In:	Electronic Notes in Theoretical Computer science, 242(1), 35 - 48. Elsevier. ISSN 1571-0661.

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

Authors:	Aceto, L (Luca); Baeten, JCM (Jos); Fokkink, WJ (Willem Jan); Ingólfsdóttir, A (Anna); Nestmann, U
In:	Journal of Logic and Algebraic Programming, 78(4), vii. S.l.: s.n.. ISSN 1567-8326.

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

Authors: Baeten, JCM (Jos); Bravetti, M (Mario)

Authors:	Baeten, JCM (Jos); Bravetti, M (Mario)

Pages:

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