Polynomial Translation of Mobile Ambients into Safe Petri Nets
Subtitle: Understanding a Calculus of Hierarchical Protection Domains
Publisher: Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH
Published: 2015
Language: eng
ISBN-13: 9783658117658
Subjects: Petri nets