Skip to main content
SpringerLink
Log in

McCarthy's amb cannot implement fair merge

  • Session 9 Semantics
  • Conference paper
  • First Online:
Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1988)

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

Abstract

In this paper we establish that fair merge is a powerful non-determinate primitive that cannot be implemented in terms of other well-known primitives. It is well known that fair merge embodies countable non-determinacy. It has also been known that McCarthy's amb embodies countable non-determinacy. It had not been known, however, whether amb could implement a fair merge. We show that amb cannot implement fair merge even in dynamic dataflow networks. This settles a question posed by Abramsky over four years ago. Earlier work had suggested this result by showing that for static dataflow networks, one cannot implement fair merge using angelic merge.

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.

References

  1. Samson Abramsky. Private communication, 1984.

    Google Scholar 

  2. K. R. Apt and Gordon Plotkin. Countable nondeterminism and random assignment. Journal Of The ACM, 33(4):724–767, 1986.

    Google Scholar 

  3. J. Dean Brock and William B. Ackerman. Scenarios: A model of non-determinate computation. In Formalization of Programming Concepts, pages 252–259, 1981. LNCS 107.

    Google Scholar 

  4. Mathew Hennessy. Axiomatizing finite delay operators. Acta. Inform., pages 61–88, 1984.

    Google Scholar 

  5. C. A. R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, London, 1985.

    Google Scholar 

  6. Gilles Kahn. The semantics of a simple language for parallel programming. In Information Processing 74, pages 993–998. North-Holland, 1977.

    Google Scholar 

  7. Robert M. Keller. Denotational models for parallel programs with indeterminate operators. In Formal Description of Programming Concepts, pages 337–366. North-Holland, 1978.

    Google Scholar 

  8. Robert M. Keller and Prakash Panangaden. Semantics of digital networks containing indeterminate operators. Distributed Computing, 1(4):235–245, 1986.

    Google Scholar 

  9. Joost Kok. Denotational semantics of nets with nondeterminism. In Proceedings of the 1986 European Symposium on Programming, pages 237–249, 1986.

    Google Scholar 

  10. Joost Kok. A fully abstract semantics for dataflow nets. In Proceedings of Parallel Architectures And Languages Europe 1987, pages 351–368, Berlin, 1987. Springer-Verlag.

    Google Scholar 

  11. Robin Milner. A Calculus for Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.

    Google Scholar 

  12. Robin Milner. A finite-delay operator in synchronous ccs. Technical Report CSR-116-82, University of Edinburgh, 1982.

    Google Scholar 

  13. P. Panangaden and E. W. Stark. Computations, residuals and the power of indeterminacy. In Timo Lepisto and Arto Salomaa, editors, Proceedings of the Fifteenth ICALP, pages 439–454. Springer-Verlag, 1988. Lecture Notes in Computer Science 317.

    Google Scholar 

  14. Prakash Panangaden and Vasant Shanbhogue. On the expressive power of indeterminate primitives. Technical Report 87-891, Cornell University, Computer Science Department, November 1987.

    Google Scholar 

  15. David Park. The “fairness problem” and non-deterministic computing networks. In Proceedings of the Fourth Advanced Course on Theoretical Computer Science, Mathematisch Centrum, pages 133–161, 1982.

    Google Scholar 

  16. Gordon Plotkin. Lcf considered a programming language. Theoretical Computer Science, 5(3):223–256, 1977.

    Google Scholar 

  17. Vaughn Pratt. Modeling concurrency with partial orders. International Journal Of Parallel Programming, 15(1):33–71, 1986.

    Google Scholar 

  18. Eugene W. Stark. Concurrent transition system semantics of process networks. In Proceedings Of The Fourteenth Annual ACM Symposium On Principles Of Programming Languages, pages 199–210, 1987.

    Google Scholar 

  19. Glynn Winskel. Event structures. Technical Report 95, University of Cambridge, Computer Laboratory, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Cornell University, USA

    Prakash Panangaden & Vasant Shanbhogue

Authors
  1. Prakash Panangaden
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vasant Shanbhogue
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kesav V. Nori Sanjeev Kumar

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Panangaden, P., Shanbhogue, V. (1988). McCarthy's amb cannot implement fair merge. In: Nori, K.V., Kumar, S. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1988. Lecture Notes in Computer Science, vol 338. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50517-2_90

Download citation

  • DOI: https://doi.org/10.1007/3-540-50517-2_90

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50517-4

  • Online ISBN: 978-3-540-46030-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation