Abstract
We present a logical formalism of the actor-based concurrent object oriented computation in terms of the deduction in linear logic. By encoding messages and objects in the actor model as formulae of linear logic, the distributed state of the actor computation, regarded as a configuration, can be represented as a multiset of object formulae and message formulae. Methods are encoded as a special form of logical implication describing the effect of the communication between objects and messages. With this logical encoding, actor based concurrent computation can be fully modelled as a deduction procedure in linear logic. In the paper, we provide a detailed mapping of the actor model into the logical system. It is shown that, with such a mapping, the logical semantics of actors can be developed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Samson Abramsky. Computational Interpretation of Linear Logic. Technical report, Dept. of Computing, Imperial College, Oct. 1990.
Gul Agha and Carl Hewitt. Concurrent Programming Using Actors. In A. Yonezawa and M. Tokoro, editors, Object-Orientde Concurrent Programming, pages 37–54. The MIT Press, 1988.
Gerard Boudol and G. Berry. The chemical abstract machine. In Proc. of the 17th Annual ACM symposium on Principle of Programming Languages. ACM, 1990.
J. Darlington and Y. Guo. Definitional constraint programming for parallel computing: An introduction. In Proc. of the ICOT workshop on Future Direction of Parallel Programming and Architecture, June 1992. ICOT TM-1185.
John Darlington and Yike Guo. Towards a logical theory of object-based concurrency. Technical report, Imperial College, May 1994.
Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50(1), 1987.
Yike Guo. Definitional Constraint Programming. PhD thesis, Dept. of Computing, Imperial College, December 1993.
K. Honda and M. Tokoro. On Asynchronous Communication Semantics. In Proc. of ECOOP’91 Workshop, LNCS 612, pages 21–51, 1991.
Naoki Kobayashi and Akinori Yonezawa. Type-theoretic foundations for concurrent object. Technical report, Dept of Information Science, 1994.
Jose Meseguer. General logics. Technical Report SRI-CSL-89–5, SRI International, March 1989.
Jose Meseguer and Timothy Winkler. Parallel programming in maude. Technical Report SRI-CSL-91–08, SRI International, November 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London Limited
About this paper
Cite this paper
Darlington, J., Guo, Yk. (1995). Formalising Actors in Linear Logic. In: Patel, D., Sun, Y., Patel, S. (eds) OOIS’94. Springer, London. https://doi.org/10.1007/978-1-4471-3016-1_3
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3016-1_3
Publisher Name: Springer, London
Print ISBN: 978-3-540-19927-4
Online ISBN: 978-1-4471-3016-1
eBook Packages: Springer Book Archive