DMCA

Efficient Bisimilarities from Second-order Reaction Semantics for π-calculus (2010)

by Pietro Di Gianantonio , Svetlana Jaksić , Marina Lenisa