Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract).

Max I. Kanovich, Takayasu Ito

Browse the full LICS paper archive.