Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

EXPORTER les infos

thèse précédente

thèse suivante

Classes concurrentes et appel par filtrage dans le join calcul

par Qin Ma

Thèse de doctorat en Informatique

Sous la direction de Pierre-Louis Curien.

Soutenue en 2005

mots clés

Pas de résumé disponible.

Titre traduit

Concurrent classes and pattern matching in the join calculus
Pas de résumé disponible.

Consulter en bibliothèque

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

Détails : 1 vol. (193 p.)
Notes : Publication autorisée par le jury
Annexes : Bibliogr. p. 159-164

Où se trouve cette thèse\u00a0?

Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
PEB soumis à condition
Cote : TS (2005) 072
Bibliothèque : Centre de recherche Inria Paris. IES.
Disponible pour le PEB
Cote : K1034

Cette version existe également sous forme de microfiche :

Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
Non disponible pour le PEB
Cote : 2005PA077072
Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
PEB soumis à condition

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.