A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters - Susanne Goebel - Books - Springer - 9783658117641 - January 28, 2016
In case cover and title do not match, the title is correct

Susanne Goebel
A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters 1st ed. 2016 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 21 - 27
Get notified about new Susanne Goebel releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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. It extends to arbitrary MA processes but finiteness of the net and therefore decidability of reachability is only guaranteed for bounded processes.

66 pages, 15 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 28, 2016
ISBN13 9783658117641
Publishers Springer
Pages 66
Dimensions 210 × 151 × 11 mm   ·   113 g
Language German  

More from the same publisher

See all of Susanne Goebel ( e.g. Paperback Book )