@article{perrier:inria-00098491, TITLE = {{Concurrent Programming as Proof Net Construction}}, AUTHOR = {Perrier, Guy}, URL = {https://inria.hal.science/inria-00098491}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Mathematical Structures in Computer Science}}, HAL_LOCAL_REFERENCE = {98-R-389 || perrier98c}, PUBLISHER = {{Cambridge University Press (CUP)}}, VOLUME = {8}, NUMBER = {6}, PAGES = {681-710}, YEAR = {1998}, KEYWORDS = {parall{\'e}lisme ; linear logic ; concurrency ; process calculus ; calcul de processus ; logique lin{\'e}aire}, HAL_ID = {inria-00098491}, HAL_VERSION = {v1}, }