Cover Image

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

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

Full description

Main Author: Göbel, Susanne. (Author, http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.
Edition:1st ed. 2016.
Series:BestMasters,
Subjects:
Computer logic.
Algorithms.
Computer organization.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computer Systems Organization and Communication Networks.
Online Access:https://doi.org/10.1007/978-3-658-11765-8
Table of Contents:
  • 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. .

Similar Items