Free Access
| Issue |
RAIRO. Inform. théor.
Volume 15, Number 2, 1981
|
|
|---|---|---|
| Page(s) | 103 - 139 | |
| DOI | https://doi.org/10.1051/ita/1981150201031 | |
| Published online | 01 February 2017 | |
- 1. A. ARNOLD et M. NIVAT, Non Deterministic Recursive Program Schemes, in Fundamentals of Computation Theory, Poznan, 1977, M. KARPINSKI, éd., Lecture Notes in Computer Science, n° 56, Springer-Verlag, 1977, p. 12-21. [MR: 502120] [Zbl: 0361.68020] [Google Scholar]
- 2. A. ARNOLD et M. NIVAT, The Metric Space of Infinite Trees. Algebraic and Topological Properties, Rapport I.R.I.A.-Laboria, n° 323, 1978. [Google Scholar]
- 3. L. BOASSON et M. NIVAT, Adherences of Languages, J. Comput. Sys. Sci. vol. 20, 1980, p. 285-309. [MR: 584863] [Zbl: 0471.68052] [Google Scholar]
- 4. S. EILENBERG et D. MONTGOMERY, Fixed Point Theorems for Muhi-Valued Transformations, Amer. J. Math., vol. 68, 1946, p. 214-222. [MR: 16676] [Zbl: 0060.40203] [Google Scholar]
- 5. G. KAHN, The Semantics of a Simple Language for Parallel Processing, Proc. I.F.I.P. Congress, 1974. [Zbl: 0299.68007] [Google Scholar]
- 6. R. M. KELLER, Denotational Models for Parallel Programs with Indeterminate Operators, in [11], p. 337-363. [MR: 537913] [Zbl: 0373.68030] [Google Scholar]
- 7. R. MILNER, Processus: a Mathematical Model of Computing Agents, in Proc. Logic Colloquium, Bristol, North-Holland Pub. Co., 1973, p. 157-173. [MR: 416095] [Zbl: 0316.68017] [Google Scholar]
- 8. M. NIVAT, Mots infinis engendrés par une grammaire algébrique, R.A.I.R.O., Informatique théorique, vol. 11, 1977, p. 311-327. [EuDML: 92059] [MR: 468353] [Zbl: 0371.68025] [Google Scholar]
- 9. G. D. PLOTKIN, A Powerdomain Construction, S.I.A.M. J. Comp., vol. 5, 1976, p. 452-486. [MR: 445891] [Zbl: 0355.68015] [Google Scholar]
- 10. E. WIEDMER, Exaktes Rechnen mit reellen Zahlen und anderen unendlichen objekten, Doctoral Dissertation, E.T.H., Zurich, 1977. [MR: 474764] [Google Scholar]
- 11. Formal Descriptions of Programming Concepts E. J. NEUHOLD, éd., North-Holland Pub. Co., 1978. [MR: 537899] [Zbl: 0367.00022] [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.