Revisiting True Concurrency Bisimilarities: On the Role of Backward Ready Multisets and Why They Are Not Enough for HPB and HHPB.

Andrea Esposito, Marco Bernardo

Browse the full CONCUR paper archive.