Concurrency and linear logic paper