m

F Nous contacter

0

Documents  Autant, Cyril | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 166 p.

Localisation : Ouvrage RdC (AUTA)

algorithme efficace polynomial # bisimulation de place # famille d'équivalence comportementale # famille des sémantiques du vrai parallélisme # graphisme informatique # génie logiciel de Pietri # langage de programmation FP2 # marquage # processus parallèle # programmation parallèle # réseau de Pétri # réécriture de termes # spécification algébrique # sémantique interleaving

65N15 ; 68N99 ; 68U05

... Lire [+]

Filtrer

Auteurs
Date de parution
Codes MSC

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée


0
Z