Susanne Göbel A Polynomial Translation of Mobile Ambients into Safe Petri Nets - Springer Springer 2016 ISBN: 9783658117658 Source: EBOOK