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..
-
Programming Smalltalk - Object-Orien...
Brauer, Johannes
-
Bussysteme
-
Das agile Mindset
Svenja Hofert
-
My Cognitive autoMOBILE Life
Wedeniwski, Sebastian
-
Libya in the Arab Spring
Schnelzer, Nadine
-
Sagen Und Meinen
Rolf, Eckard
-
Wohlfahrtspluralismus
-
Erkenntniskonstruktion Am Beispiel D...
Matthies, Ellen
-
Gender Designs IT
-
Manifolds, Sheaves, and Cohomology
Wedhorn, Torsten
-
Handbuch Sozialpolitik
-
New Online Retailing
Heinemann, Gerrit
-
Labster Virtual Lab Experiments: Bas...
Gardner, Aaron
-
Der agile Kulturwandel
Svenja Hofert