On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.

Stefan Blom, Wan J. Fokkink, Sumit Nain

Browse the full ICALP paper archive.