CONCUR '95: Concurrency Theory