Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1976: Mathematical Foundations of Computer Science 1976 pp 517–523Cite as

Degrees of parallelism in computations

  • Communications
  • Conference paper
  • First Online:

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

Abstract

This paper is concerned with the class of sequentially computable finite type functionals and its enrichments by adding some parallel functionals of various power.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ershov, Ju. L., Computable functionals of finite types, Algebra i Logika, II, No4 (1972), 367–437.

    Google Scholar 

  2. Scott, D., A type-theoretical alternative to CUCH, ISWIM, OWHY, Oxford University, 1969.

    Google Scholar 

  3. Scott, D., Continuous lattices, in Toposes, Algebraic Geomrtry and Logic, Lecture Notes in Mathematics N274, 1972, 97–136.

    Google Scholar 

  4. Sazonov, V. Yu., Sequentially and parallelly computable functionals (extended abstract), in λ-Calculus and computer Science Theory, Proc. of the Symp. held in Rome, 1975, Lect. Notes in Comp. Sci., 37, 1975, 312–318.

    Google Scholar 

  5. Sazonov, V. Yu., Sequentially and parallelly computable functionals, Sibirskii Matematiceskii Žurnal, XVII, No3 (1976), 648–672 (in Russian).

    Google Scholar 

  6. Sazonov, V.Yu., On expressibility and computability of objects in D.Scott's language LCF, Third All-Union Conference on Mathematical Logic, Novosibirsk, 1974, 191–194 (in Russian).

    Google Scholar 

  7. Trachtenbrot, M.B., On interpreted functions in program schemes, in Sistemnoe i teoretičeskoe programmirovanie, Novosibirsk, 1973, 188–211 (in Russion).

    Google Scholar 

  8. Trachtenbrot, M.B., On representation of sequential and parallel functions, in Vyčislitel'naja matematika i programmirovanie, Novosibirsk, 1974, 74–80 (in Russian).

    Google Scholar 

  9. Trachtenbrot, M.B., On representation of sequential and parallel functions, in Proc. of 4th Symp. on Mathematical Foundations of Computer Science, Lect. Notes in Comp. Sci., 32, 1975, 411–417.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Novosibirsk 90, USSR

    V. Yu. Sazonov

Authors
  1. V. Yu. Sazonov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Mazurkiewicz

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sazonov, V.Y. (1976). Degrees of parallelism in computations. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_223

Download citation

  • DOI: https://doi.org/10.1007/3-540-07854-1_223

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07854-8

  • Online ISBN: 978-3-540-38169-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation