Visit our Christmas Gift Finder
Click & Collect from 2 Hours*
Free Delivery to UK Shops
Free UK Standard Delivery On all orders £20 and over Free Delivery to UK Shops Local shops and expert booksellers nationwide Free Click & Collect to UK shops From 2 hours of your order*
A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters (Paperback)
  • A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters (Paperback)
zoom

A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters (Paperback)

(author)
£54.99
Paperback 66 Pages / Published: 28/01/2016
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

The master thesis of Susanne Goebel 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 MA's 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.

Publisher: Springer Fachmedien Wiesbaden
ISBN: 9783658117641
Number of pages: 66
Weight: 1109 g
Dimensions: 210 x 148 x 5 mm
Edition: 1st ed. 2016

You may also be interested in...

C Programming Language
Added to basket
Code
Added to basket
£21.99
Paperback
Adventures in Python
Added to basket
Head First Java
Added to basket
£47.99
Paperback
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Python Crash Course
Added to basket
£33.99
Paperback
The Clean Coder
Added to basket
£33.49
Paperback
Python Pocket Reference
Added to basket
The Pragmatic Programmer
Added to basket
Automate The Boring Stuff With Python
Added to basket
Coding with JavaScript For Dummies
Added to basket
JavaScript: The Good Parts
Added to basket
JavaScript Pocket Reference
Added to basket
How to Build a Billion Dollar App
Added to basket
Building Android Apps in Easy Steps
Added to basket
Coding for Beginners in easy steps
Added to basket

Please sign in to write a review

Your review has been submitted successfully.