Kaku Takeuchi, Kohei Honda, Makoto Kubo. An Interaction-based Language and its Typing System. In Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou, Sergios Theodoridis, editors, PARLE 94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings. Volume 817 of Lecture Notes in Computer Science, pages 398-413, Springer, 1994.
Abstract is missing.