Preview
Unable to display preview. Download preview PDF.
References
Agha, G., Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
Andreoli, J.-M. and R. Pareschi, “Linear Objects: Logical processes with built-in inheritance,” New Generation Computing, 1991.
Andreoli, J.-M. and R. Pareschi, “Communication as Fair Distribution of Knowledge,” in Proceedings of OOPSLA '91, pp. 212–229, 1991.
Girard, J.-Y., “Linear Logic,” Theoretical Computer Science, vol. 50, pp. 1–102, 1987.
Kobayashi, N. and A. Yonezawa, “Asynchronous Communication Model Based on Linear Logic,” Tech. Rep. 92-5, Department of Information Science, University of Tokyo, 1992.
Kobayashi, N. and A. Yonezawa, “ACL — A Concurrent Linear Logic Programming,” to appear in Proceedings of International Logic Programming Symposium, MIT Press, 1993.
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.
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.
Milner, R., “Calculi for Synchrony and Asynchrony,” Theoretical Computer Science, vol. 25, pp. 267–310, 1983.
Milner, R., Communication and Concurrency. Prentice Hall, 1989.
Milner, R., J. Parrow, and D. Walker, “A Calculus of Mobile Processes, Part I,” Tech. Rep. ECS-LFCS-89-85, University of Edinburgh, 1989.
Author information
Authors and Affiliations
Editor information
Rights 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