References
J-M. Andreoli and R. Pareschi. LO and behold! concurrent structured processes. In Proc. of OOPSLA/ECOOP'90, Ottawa, Canada, 1990.
J-M. Andreoli and R. Pareschi. Communication as fair distribution of knowledge. In Proc. of OOPSLA'91, Phoenix, U.S.A., 1991.
J-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9(3+4):445–473, 1991.
J-Y. Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.
H. P. Nii, Blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures. AI Magazine, Summer 1986.
V.A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, CarnegieMellon University, Pittsburg, U.S.A., 1989.
E. Shapiro. The family of concurrent logic programming languages. Technical report, The Weizmann Institute of Science, Rehovot, Israel, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andreoli, JM., Pareschi, R. (1992). Linear Objects: A logic framework for open system programming. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013083
Download citation
DOI: https://doi.org/10.1007/BFb0013083
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55727-2
Online ISBN: 978-3-540-47279-7
eBook Packages: Springer Book Archive