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

by Stefan Blom , Wan Fokkink , Sumit Nain
Citations:17 - 12 self