A truly concurrent semantics for processes sharing quantified resources = = 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)

Langages de programmation -- Sémantique

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

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

Relation : A truly concurrent semantics for processes sharing quantified resources = = une sémantique vraiment concurrente pour processus partageant des ressources quantifiées : / Dan Teodosiu ; sous la direction de Paul Gastin / Lille : Atelier national de reproduction des thèses , 2012