Vous êtes ici : Accueil › Recherche
› RECHERCHER
Titre
Auteur
Mot-clé
Année avant
Année après
Plus d'options

› AFFINER

› RESULTATS DE LA RECHERCHE  
180 résultats › Tri  › Par 
auteur_x
Source : DANS

Process algebra with a zero object

Baeten, JCM Jos et al. (1990)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Non interleaving process algebra

Baeten, JCM Jos et al. (1993)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Design of a specification language by abstract syntax engineering:preliminary version

Baeten, JCM Jos et al. (1989)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Termination in timed process algebra

Baeten, JCM Jos et al. (2000)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Process algebra with timing : real time and discrete time

Baeten, JCM Jos et al. (1999)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Discrete time process algebra : absolute time, relative time and parametric time

Baeten, JCM Jos et al. (1997)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Term rewriting analysis in process algebra

Akkerman, GJ et al. (1991)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Supervisory control theory toegepast op pretparkvoertuigen

Baeten, JCM Jos et al. (2011)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Process algebra with pointers

Baeten, JCM Jos et al. (2002)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Partial bisimulation

Baeten, JCM Jos et al. (2010)

Voir plus d'informations | Voir la fiche de la ressource