1. S. Abramsky, Computational interpretations of linear logic, Theoretical Computer Science, Vol. 111, pp. 3–57, 1993.
2. R. Allen and D. Garlan, Formalising architectural connection, Proceedings of the IEEE 16th International Conference on Software Engineering, pp. 71–80, 1994.
3. J.-M. Andreoli and R. Pareschi, Linear Objects: logical processes with bui lt-ininheritence, New Generation Computing, Vol. 9, pp. 445–473, 1991.
4. J.-M. Andreoli, P. Ciancarini and R. Pareschi, Interaction abstract machines, in Proc. of the workshop Research Directions in Concurrent Object Oriented Programming, 1992.
5. Lect Notes Comput Sci;R. Back,1990