Disponible dans les fichiers attachés à ce documen

Berry, Gérard

Curien, Pierre-Louis

Levy, Jean-Jacques

INRIA a CCSD electronic archive server

HAL Id: inria-00076361https://hal.inria.fr/inria-00076361Submitted on 24 May 2006HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.Full abstraction for sequential languages : The states ofthe artGérard Berry, Pierre-Louis Curien, Jean-Jacques LevyTo cite this version:Gérard Berry, Pierre-Louis Curien, Jean-Jacques Levy. Full abstraction for sequential languages : Thestates of the art. [Research Report] RR-0197, INRIA. 1983. ￿inria-00076361￿

Full abstraction for sequential languages : The states of the art

https://hal.inria.fr/inria-00076361/file/RR-0197.pdf

Full abstraction for sequential languages : The states of the art

Abstract

Similar works

Full text

Available Versions

INRIA a CCSD electronic archive server