Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=161352928.

A truly concurrent semantics for processes sharing quantified resources [Texte imprimé] = = une sémantique vraiment concurrente pour processus partageant des ressources quantifiées : / Dan Teodosiu ; sous la direction de Paul Gastin

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2012

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Parallélisme (informatique) -- Thèses et écrits académiques

Langages de programmation -- Sémantique -- Thèses et écrits académiques

Gastin, Paul (1959-....) (Directeur de thèse / thesis advisor)

Université Paris Diderot - Paris 7 (Organisme de soutenance / degree-grantor)