We have obtained a number of results concerning the topological closure of infinitary relations : in practice, at least for modeling the synchronization of concurrent processes, we shall use mainly infinitary rational relations. A forthcomming paper of the same author is devoted to theim definition and properties. The author has had very helpful discussions with A. Arnold, L. Boasson, F. Boussinot, G. Roncairol and G. Ruggin.
Unable to display preview. Download preview PDF.
- A. ARNOLD and M. NIVAT Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Theor. Comp. Sci., Vol. 11 (1980), 181–205.Google Scholar
- J. BEAUQUIER and M. NIVAT Application of formal language theory to problems of security and synchronization, in Formal Language Theory (R. Book, éd.) Academic Press, New York, 1980.Google Scholar
- L. BOASSON and M. NIVAT Adherences of languages, Jour. Comp. Syst. Sci., Vol. 20 (1980), 285–309.Google Scholar
- S. EILENBERG Automata, Languages and Machines, Vol. A, Academic Press, New York, 1974.Google Scholar
- M. NIVAT Systèmes de transition permanents et équitables, Research Report no 2577, Laboratoire Central de Recherches Thomson-CSF, Orsay, 1980.Google Scholar
- M. NIVAT Infinitary languages (to appear).Google Scholar
- M. NIVAT Synchronization et multimorphismes (to appear).Google Scholar