Efficient Bisimilarities from Second-Order Reaction Semantics for

Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa

Browse the full CONCUR paper archive.