Prof.dr. J.C.M. Baeten

Pagina-navigatie:

filter results

Type

Date

Accessibility

Institution

91-100 out of 214 results by:date

Save search results

Real time process algebra with time-dependent conditions (2000)Open access

Authors: Baeten, JCM (Jos); Middelburg, CA (Kees)
A new equivalence for processes with timing:with an application to protocol verification (2000)Open access

Authors: Baeten, JCM (Jos); Middelburg, CA (Kees); Reniers, MA (Michel)
Fundamenteel onderzoek dreigt vermalen te worden (2000)

Author: Baeten, JCM (Jos)
In: Automatisering Gids, 25 augustus 2000. ISSN 0165-4683.
System-level modelling and performance analysis (2000)

Authors: Theelen, BD (Bart); Voeten, JPM (Jeroen); Bokhoven, van LJ (Leo); Jong, de G; Niemegeers, AMM (Alex); Putten, van der PHA (Piet); Stevens, MPJ; Baeten, JCM (Jos)

Authors:	Baeten, JCM (Jos); Middelburg, CA (Kees)

Authors:	Baeten, JCM (Jos); Middelburg, CA (Kees); Reniers, MA (Michel)

Author:	Baeten, JCM (Jos)
In:	Automatisering Gids, 25 augustus 2000. ISSN 0165-4683.

Authors:	Theelen, BD (Bart); Voeten, JPM (Jeroen); Bokhoven, van LJ (Leo); Jong, de G; Niemegeers, AMM (Alex); Putten, van der PHA (Piet); Stevens, MPJ; Baeten, JCM (Jos)

Authors:	Baeten, JCM (Jos); Bergstra, JA (Jan); Reniers, MA (Michel)
In:	Proof, language and interaction: essays in honour of Robin Milner / Ed. G. Plotkin, C. Stirling, M. Tofte, 535. Cambridge MA, USA: MIT Press

Process algebra with timing : real time and discrete time (1999)Open access

Authors: Baeten, JCM (Jos); Middelburg, CA (Kees)
Partial-order process algebra (and its relation to Petri nets) (1999)Open access

Authors: Baeten, JCM (Jos); Basten, AA (Twan)
Real time process algebra with time-dependent conditions (1999)Open access

Authors: Baeten, JCM (Jos); Middelburg, CA (Kees)
Process algebra with timing : real time and discrete time (1999)Open access

Authors: Baeten, JCM (Jos); Middelburg, CA (Kees)
Deadlock behaviour in split and ST bisimulation semantics (1998)Open access

Authors: Baeten, JCM (Jos); Bergstra, JA (Jan)

Authors:	Baeten, JCM (Jos); Middelburg, CA (Kees)

Authors:	Baeten, JCM (Jos); Basten, AA (Twan)

Authors:	Baeten, JCM (Jos); Middelburg, CA (Kees)

Authors:	Baeten, JCM (Jos); Middelburg, CA (Kees)

Authors:	Baeten, JCM (Jos); Bergstra, JA (Jan)

Pages:

<< < 6 7 8 9 10 11 12 13 14 15 > >>