Concurrency Problem for Horn Fragment of Girard's Linear Logic.

Dmitry A. Archangelsky Michael I. Dekhtyar Evgeny Kruglov Ilmir Kh. Musikaev Mikhail A. Taitslin Concurrency Problem for Horn Fragment of Girard's Linear Logic. 18-22 1994 conf/lfcs/1994 LFCS db/conf/lfcs/lfcs1994.html#ArchangelskyDKMT94