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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Göbel, Susanne (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.
Edición:1st ed. 2016.
Colección:BestMasters,
Temas:
Computer science.
Algorithms.
Computer engineering.
Computer networks .
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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. .

Ejemplares similares