Sémantique des processus communicants
- 1 January 1981
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 15 (2) , 103-139
- https://doi.org/10.1051/ita/1981150201031
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Adherences of languagesJournal of Computer and System Sciences, 1980
- Mots infinis engendrés par une grammaire algébriqueRAIRO. Informatique théorique, 1977
- Non Deterministic Recursive Program SchemesLecture Notes in Computer Science, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Processes: A Mathematical Model of Computing AgentsPublished by Elsevier ,1975
- Fixed Point Theorems for Multi-Valued TransformationsAmerican Journal of Mathematics, 1946