CONCUR '97: Concurrency Theory