Max I. Kanovich. Simulating Guarded Programs in Linear Logic. In Takayasu Ito, Akinori Yonezawa, editors, Theory and Practice of Parallel Programming, International Workshop TPPP 94, Sendai, Japan, November 7-9, 1994, Proceedings. Volume 907 of Lecture Notes in Computer Science, pages 45-69, Springer, 1994.
Abstract is missing.