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...

Πίνακας περιεχομένων:

• Translating Mobile Ambient (MA) Processes into Safe Petri Nets - The Idea
• Managing Names in the Petri Net
• Translating Mobile Ambient Processes into Safe Petri Nets – Complete Construction
• From MA to rMA
• From rMA to MA-PN
• Polynomial Construction Using a Substitution Net. .