Ready Simulation for Concurrency: It's Logical!

Gerald Lttgen, Walter Vogler

Browse the full ICALP paper archive.