New Bisimulation Semantics for Distributed Systems | Publicación