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

Ville d'édition : Grenoble

Pays d'édition : France

Langue : Français

Collation : Bibliogr. ; fig.#table#29 cm#broch. ; Index

Localisation : Ouvrage RdC (AUTA)

Spécialité thèse : Math. Appl.

Ville de thèse : Grenoble

Code ACM : D.2.2 ; I.3.1

Type thèse : Thèse

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires