A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters - Susanne Goebel - Libros - Springer - 9783658117641 - 28 de enero de 2016
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de enero de 2016
ISBN13 9783658117641
Editores Springer
Páginas 66
Dimensiones 210 × 151 × 11 mm   ·   113 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Susanne Goebel ( Ej. Paperback Book )