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 pointers

Baeten, JCM Jos et al. (2002)

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

An algebra for process creation

Baeten, JCM Jos et al. (1989)

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

Source : DANS

Discrete-time process algebra with empty process

Baeten, JCM Jos et al. (1997)

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

Source : DANS

Ready-trace semantics for concrete process algebra with the priority operator

Baeten, JCM Jos et al. (1987)

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

Source : DANS

Discrete-time process algebra with empty process

Baeten, JCM Jos et al. (1997)

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

A new equivalence for processes with timing

Baeten, JCM Jos et al. (2002)

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