Analyse statistique d'un calcul d'acteurs par interprétation abstraite Statistic analysis of an actor-based process calculus by abstract interpretation /

Description

Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2008. / Texte en anglais, résumé étendu en français. Titre provenant de l'écran-titre. Bibliogr. 107 réf.

Links & Downloads

1. http://ethesis.inp-toulouse.fr/archive/00000629

Tags

Logiciels

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494770813
Date	January 2008
Creators	Garoche, Pierre-Loïc Sallé, Patrick.
Publisher	Toulouse : INP Toulouse,
Source Sets	OCLC
Language	English
Detected Language	French