2 resultater (0,29920 sekunder)

Polynomial Translation of Mobile Ambients into Safe Petri Nets - Understanding a Calculus of Hierarchical Protection Domains - Bog af Susanne Goebel -

Fra DKK 564.95
Mærke Springer
EAN / Stregkode 9783658117641
Butik Bogreolen.dk
Til Butik
Produkt
Butik
Prisniveau

Polynomial Translation of Mobile Ambients into Safe Petri Nets - Understanding a Calculus of Hierarchical Protection Domains - 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.

Tales.dk
DKK 565.95