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

Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin

Browse the full LFCS paper archive.