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

Graph isomorphism models for non interleaving process algebra

Baeten, JCM Jos et al. (1994)

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

Source : DANS

An algebra for process creation

Baeten, JCM Jos et al. (1989)

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

Source : DANS

Another look at abstraction in process algebra (extended abstract)

Baeten, JCM Jos et al. (1987)

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

Source : DANS

Formalizing programming variables in process algebra

Baeten, JCM Jos et al. (2002)

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

Source : DANS

Real time process algebra with time-dependent conditions

Baeten, JCM Jos et al. (1999)

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

Source : DANS

Discrete time process algebra with abstraction

Baeten, JCM Jos et al. (1995)

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