Copied A Polynomial Translation of Mobile Ambients into Safe Petri Nets
A Polynomial Translation of Mobile Ambients into Safe Petri Nets
The master thesis of Susanne Gbel 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 pass hierarchical protection domains like firewalls. The work analyses MAs function principles and derives a translation into Safe Petri nets. It extends to arbitrary MA processes but finiteness of the net and therefore decidability of reachability is only guaranteed for bounded processes. The construction is polynomial in process size and bounds so that reachability analysis is only PSPACE-complete. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Computational Solid State Physics
$54.99
Sensors and Instrumentation, Volume 5
$169.99
Ultrasound of the Gastrointestinal Tract
$199.99
The Project Managers Guide to Microsoft Project 2019
$49.99
Elementary Analysis through Examples and Exercises
$109.99
Stahlleichtbau von Maschinen
$44.99
Computational Intelligence for Engineering and Management Applications
$299.99
VHDL Coding Styles and Methodologies
$219.00
Auf der Suche nach dem Wirklichen
$69.99
The Man Who Walked Between The Towers
$6.50
Implementations of Logic Programming Systems
$84.99
Perennial Biomass Crops for a Resource-Constrained World
$219.99
Easy Everyday Mediterranean Diet Cookbook- 125 Delicious Recipes from the Healthiest Lifestyle on the Planet by Deanna Segrave-Daly
$22.99
Die Dynamik von Coopetition
$69.99
Python Machine Learning Case Studies
$79.99
LitLeague Grades K-2
$7,425.00
Descriptive Set Theory and Forcing
$54.99
The Inexorable Evolution of Financialisation
$139.99
Fhrungskrfte fr ein integriertes Management
$99.99
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
$84.99
Trust Center
$59.99
6th World Congress of Biomechanics (WCB 2010), 1 - 6 August 2010, Singapore
$329.99
Fachkommentar BM/E-GO
$59.99
Innovative Mobile and Internet Services in Ubiquitous Computing
$219.99
Business, Government and the SDGs
$39.99
Artificial Neural Networks for Modelling and Control of Non-Linear Systems
$169.99
Reflection and Software Engineering
$39.99
Human and Energy Factors in Urban Planning: A Systems Approach
$169.99
Cardiovascular Pediatric Critical Illness and Injury
$39.99
Grand Challenges in Technology Enhanced Learning
$39.99
Information Technologies and Intelligent Decision Making Systems
$69.99
Writing Islam from a South Asian Muslim Perspective
$89.99
Chemical Evolution of Galaxies
$139.99
Wirkereilehre Ein Leitfaden fr Unterricht und Praxis
$59.99
First Workshop on Grand Unification
$39.99
Intelligent Tutoring Systems
$84.99
Machine Learning Methods for Multi-Omics Data Integration
$199.99
Common Problems in Acute Care Surgery
$169.99
Arctic Life of Birds and Mammals
$109.99
Measurement, Realism and Objectivity
$39.99
