Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding | Publicación