A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains /

• Main Author: Göbel, Susanne (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.
• Edition: 1st ed. 2016.
• Series: BestMasters
• Subjects: Computer science.; Computer organization.; Algorithms.; Computer logic.; Computer Science.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Computer Systems Organization and Communication Networks.

The master thesis of Susanne Göbel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. Instead of calculus terms a much more convenient representation via MA trees naturally maps to the application area of networks where processes...