A Polynomial Translation of Mobile Ambients into Safe Petri Nets Image close
A Polynomial Translation of Mobile Ambients into Safe Petri Nets by Susanne Gobel
A Polynomial Translation of Mobile Ambients into Safe Petri Nets by Susanne Gobel
Show Hide Adult Content
A Polynomial Translation of Mobile Ambients into Safe Petri Nets close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Algorithms & data structures

A Polynomial Translation of Mobile Ambients into Safe Petri Nets

Understanding a Calculus of Hierarchical Protection Domains
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$148.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.00 with Afterpay Learn more

6 weekly interest-free payments of $24.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Bestmasters

See all products in this series

Formative Assessment and Feedback Tool by Kevin Duss
$150.00
Formative Assessment and Feedback Tool
by Kevin Duss ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Complete Symbolic Simulation of SystemC Models by Vladimir Herdt
$148.00
Complete Symbolic Simulation of SystemC Models
by Vladimir Herdt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Social Interactions in Autism​ by Helena Hartmann
$188.00
Social Interactions in Autism​
by Helena Hartmann ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Service Innovation in Agricultural Business by Sebastian Gack
$150.00
Service Innovation in Agricultural Business
by Sebastian Gack ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Insider Intervention Research by Doris Klutz
$150.00
Insider Intervention Research
by Doris Klutz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Impact of Sub-National Institutions on Foreign Firms´ Market Entry by Maren Hagemeister
$150.00
The Impact of Sub-National Institutions on Foreign Firms´ Market Entry
by Maren Hagemeister ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Infrastructure Investments by Fabian Regele
$150.00
Infrastructure Investments
by Fabian Regele ~ Paperback / softback
Available - Usually ships in 3-4 weeks
An Investor’s Perspective on Marketing Excellence by Dominik Kemsa
$150.00
An Investor’s Perspective on Marketing Excellence
by Dominik Kemsa ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Effect of Covid-19 on Loan Loss Provisions and Earnings Management of European Banks by Merjona Lamaj
$263.00
The Effect of Covid-19 on Loan Loss Provisions and Earnings...
by Merjona Lamaj ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Towards Offline PET Monitoring at a Cyclotron-Based Proton Therapy Facility by Matthias Wurl
$148.00
Towards Offline PET Monitoring at a Cyclotron-Based Proton Therapy...
by Matthias Wurl ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Observables and Symmetries of n-Plectic Manifolds by Leonid Ryvkin
$148.00
Observables and Symmetries of n-Plectic Manifolds
by Leonid Ryvkin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Critical Success Factors of Change Management by Tim Fritzenschaft
$148.00
Critical Success Factors of Change Management
by Tim Fritzenschaft ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Impact of Digitalization on Sports Broadcasting by Martin Hagelgans
$263.00
The Impact of Digitalization on Sports Broadcasting
by Martin Hagelgans ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Weighted Automata, Formal Power Series and Weighted Logic by Laura Wirth
$150.00
Weighted Automata, Formal Power Series and Weighted Logic
by Laura Wirth ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Wisdom of the Crowd in Experiments by Larissa Katharina Senninger
$150.00
Wisdom of the Crowd in Experiments
by Larissa Katharina Senninger ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Potential of Massive Open Online Courses in the Context of Corporate Training and Development by Bianca Sillak-Riesinger
$211.00
The Potential of Massive Open Online Courses in the Context of...
by Bianca Sillak-Riesinger ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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 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.   

Author Biography:

Susanne Göbel currently works towards her PhD in Computer Science at the University of Kaiserslautern. She engages in various research projects to help people understand computational frameworks of theory and practice. While devoting most of her free time to her family she still finds time to work as women councilor and on improving studying and working conditions in the faculty.   
Release date NZ
January 28th, 2016
Author
Pages
66
Edition
1st ed. 2016
Audience
  • Professional & Vocational
Illustrations
15 Illustrations, color; IX, 66 p. 15 illus. in color.
Dimensions
148x210x5
ISBN-13
9783658117641
Product ID
24081667

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation