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

• Κύριος συγγραφέας: Göbel, Susanne (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.
• Έκδοση: 1st ed. 2016.
• Σειρά: BestMasters
• Θέματα: 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...