m

F Nous contacter

0
     
Thèse

H 0 Réseaux de Petri pour la sémantique et l'implémentation de processus parallèles

Autant, Cyril (Principal)

Institut National Polytechnique De Grenoble

1993

166 p.

00015996

65N15 ; 68N99 ; 68U05

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00015996 [disponible]
Z