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

Internet

https://doi.org/10.1007/978-3-658-11765-8

Similar Items