Recomienda este artículo a tus amigos:
A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters Susanne Goebel 1st ed. 2016 edition
Precio
$ 65,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 17 de ago. - 3 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Susanne Goebel
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters
Susanne Goebel
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
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
