Skip to main content
SpringerLink
Log in

Infinitary relations

  • Invited Lectures
  • Conference paper
  • First Online:
CAAP '81 (CAAP 1981)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 112))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. 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 

  2. 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 

  3. L. BOASSON and M. NIVAT Adherences of languages, Jour. Comp. Syst. Sci., Vol. 20 (1980), 285–309.

    Google Scholar 

  4. S. EILENBERG Automata, Languages and Machines, Vol. A, Academic Press, New York, 1974.

    Google Scholar 

  5. M. NIVAT Systèmes de transition permanents et équitables, Research Report no 2577, Laboratoire Central de Recherches Thomson-CSF, Orsay, 1980.

    Google Scholar 

  6. M. NIVAT Infinitary languages (to appear).

    Google Scholar 

  7. M. NIVAT Synchronization et multimorphismes (to appear).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'Informatique Théorique et Programmation I.N.R.I.A., Domaine de Voluceau Rocquencourt, 78150 LE, Chesnay, France

    Maurice Nivat

Authors
  1. Maurice Nivat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egidio Astesiano Corrado Böhm

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nivat, M. (1981). Infinitary relations. In: Astesiano, E., Böhm, C. (eds) CAAP '81. CAAP 1981. Lecture Notes in Computer Science, vol 112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10828-9_54

Download citation

  • DOI: https://doi.org/10.1007/3-540-10828-9_54

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10828-3

  • Online ISBN: 978-3-540-38716-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation