Max I. Kanovich Takayasu Ito Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). 48-57 http://www.computer.org/proceedings/lics/7925/79250048abs.htm 1997 LICS db/conf/lics/lics97.html#KanovichI97