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
Complex-Valued Neural Networks with Multi-Valued Neurons
$169.99
Poverty of Plenty
$54.99
Instructional Leadership and Leadership for Learning in Schools
$129.00
There Was an Old Lady: There Was An Old Scientist Who Swallowed a Dinosaur! (Hardcover)
$6.74
Produktion und Management Betriebshtte
$139.99
Behavioral Pharmacology
$39.99
Media Economics in Austria
$64.99
The International Constraints on Regime Changes
$39.99
Wireless Sensor Networks and Applications
$169.99
Renal Vascular Disease
$169.99
Denitration of Radioactive Liquid Waste
$54.99
Open and Closed Innovation
$54.99
Beyond Global Food Supply Chains
$59.99
Special Issue on Ionic Channels
$39.99
Infinite Programming
$109.99
Algebraic Topology from a Homotopical Viewpoint
$54.99
Big Data, Cloud and Applications
$84.99
Leitfaden zum Stosechten, Schlagen und Turnen fr das Knigliche Militair-Reit-Institut zu Hannover
$49.99
The Practice of Radiology Education
$119.00
21st Century Kinematics
$249.99
Conditionals and Modularity in General Logics
$84.99
Pdiatrische Endokrinologie und Diabetologie
$219.00
Feminism and Psychoanalysis
$44.99
Building the Foundation: Whole Numbers in the Primary Grades
$54.99
The Work of Art in a Digital Age: Art, Technology and Globalisation
$109.99
Aspects of Illegal, Unreported and Unregulated Fishing in the Southern Ocean
$169.99
Relativistic Astrophysics and Cosmology
$54.99
Present and Future of Evolutionary Economics
$179.99
Stem Cell Heterogeneity
$109.99
Festigkeit und Formnderung
$59.99
Discrete-Time Control System Design with Applications
$109.99
Healthcare Policy, Innovation and Digitalization
$169.99
Kainate Receptors
$109.99
Manual of Cardiac Surgery
$84.99
Non-Biological Complex Drugs
$109.99
Dynamisches, agentenbasiertes Benutzerportal im Wissensmanagement
$59.99
Ronald Johnsons Modernist Collage Poetry
$39.99
Energy Price Risk
$219.99
Understanding Family Businesses
$109.99
Semigroups of Linear Operators and Applications to Partial Differential Equations
$149.00
