Skip to main content
SpringerLink
Log in
Book cover

US/Japan Workshop on Parallel Symbolic Computing

PSC 1992: Parallel Symbolic Computing: Languages, Systems, and Applications pp 331–336Cite as

Asynchronous communication model based on linear logic

Extended abstract

  • Conference paper
  • First Online:

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

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. Agha, G., Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.

    Google Scholar 

  2. Andreoli, J.-M. and R. Pareschi, “Linear Objects: Logical processes with built-in inheritance,” New Generation Computing, 1991.

    Google Scholar 

  3. Andreoli, J.-M. and R. Pareschi, “Communication as Fair Distribution of Knowledge,” in Proceedings of OOPSLA '91, pp. 212–229, 1991.

    Google Scholar 

  4. Girard, J.-Y., “Linear Logic,” Theoretical Computer Science, vol. 50, pp. 1–102, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  5. Kobayashi, N. and A. Yonezawa, “Asynchronous Communication Model Based on Linear Logic,” Tech. Rep. 92-5, Department of Information Science, University of Tokyo, 1992.

    Google Scholar 

  6. Kobayashi, N. and A. Yonezawa, “ACL — A Concurrent Linear Logic Programming,” to appear in Proceedings of International Logic Programming Symposium, MIT Press, 1993.

    Google Scholar 

  7. Kobayashi, N. and A. Yonezawa, “Logical, Testing and Observation Equivalences for Processes in a Linear Logic Programming,” presented at Linear Logic Workshop, Cornell University, 1993.

    Google Scholar 

  8. Miller, D., “The π-calculus as a theory in linear logic: Preliminary results,” Tech. Rep. MS-CIS-92-48, Computer Science Department, University of Pennsylvania, 1992. To appear in the 1992 Workshop on Extensions to Logic Programming, LNAI Series.

    Google Scholar 

  9. Milner, R., “Calculi for Synchrony and Asynchrony,” Theoretical Computer Science, vol. 25, pp. 267–310, 1983.

    Article  MATH  MathSciNet  Google Scholar 

  10. Milner, R., Communication and Concurrency. Prentice Hall, 1989.

    Google Scholar 

  11. Milner, R., J. Parrow, and D. Walker, “A Calculus of Mobile Processes, Part I,” Tech. Rep. ECS-LFCS-89-85, University of Edinburgh, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, 113, Tokyo, Japan

    Naoki Kobayashi & Akinori Yonezawa

Authors
  1. Naoki Kobayashi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Akinori Yonezawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert H. Halstead Jr. Takayasu Ito

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kobayashi, N., Yonezawa, A. (1993). Asynchronous communication model based on linear logic. In: Halstead, R.H., Ito, T. (eds) Parallel Symbolic Computing: Languages, Systems, and Applications. PSC 1992. Lecture Notes in Computer Science, vol 748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018661

Download citation

  • DOI: https://doi.org/10.1007/BFb0018661

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48133-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation