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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Surgeons as Educators
$199.99
Pains and Gains of Ethnic Multilingual Learners in China
$84.99
The Complement System
$169.00
Neuropsychologie
$37.99
Research Experiences in Plant Physiology
$74.99
Combinatorial Catalysis and High Throughput Catalyst Design and Testing
$219.99
Conceptual Challenges in Evolutionary Psychology
$84.99
Landschaftstheorie und Landschaftspraxis
$34.99
The International Political Economy of Oil and Gas
$169.99
Nitroxide Radicals and Nitroxide Based High-Spin Systems
$549.99
9. Kongre der Deutschsprachigen Gesellschaft fr Intraokularlinsen Implantation
$44.99
Aroma of Beer, Wine and Distilled Alcoholic Beverages
$329.99
Handbook of Physical Properties of Liquids and Gases
$249.99
Buchfhrung 2 DATEV-Kontenrahmen 2022
$19.99
Recent Trends and Advances in Artificial Intelligence
$299.99
Handbook of Assessment and Diagnosis of Autism Spectrum Disorder
$249.99
Springer Series in Light Scattering
$199.99
A New Holistic-Evolutive Approach to Pediatric Palliative Care
$89.00
Re-Evaluating Regional Organizations
$129.99
Recent Advances in Adsorption Processes for Environmental Protection and Security
$129.00
The Geography of Multinational Firms
$109.99
Interpreting Primo Levi
$39.99
Handbook of Blood Pressure Measurement
$89.00
The Infinity Gauntlet by Jim Starlin
$24.99
Indonesia's International Economic Strategies
$139.99
Arts-Based Research
$49.99
Ecophysiology of the Camelidae and Desert Ruminants
$39.99
Model Construction with GPSS-FORTRAN Version 3
$84.99
Early Modern Metaphysical Literature
$54.99
Elementare Methoden der numerischen Mathematik
$69.95
Predictive Data Security using AI
$129.00
Internationale Wirtschaftsbeziehungen
$69.99
Water Electrolysis for Hydrogen Production
$249.99
The Return Movement of Jews to Austria after the Second World War
$54.99
The Geological Evolution of the River Nile
$39.99
Computer Applications in Near Net-Shape Operations
$39.99
Economics, Management and Sustainability
$79.99
Mathematical Psychology
$109.99
Advances in Face Presentation Attack Detection
$44.99
Taxes and Exchange Rates in the EU
$109.99
