A Polynomial Translation of Mobile Ambients into Safe Petri Nets
11
%
1470 Kč 1 646 Kč
Sleva až 70% u třetiny knih
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.
| Autor: | Gobel, Susanne |
| Nakladatel: | Springer Fachmedien Wiesbaden |
| ISBN: | 9783658117641 |
| Rok vydání: | 2016 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 66 |
Mohlo by se vám také líbit..
