Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract)

Max I. Kanovich, Takayasu Ito. Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). In LICS. pages 48-57, 1997. [doi]

Abstract

Abstract is missing.