Télécharger le livre :  A Polynomial Translation of Mobile Ambients into Safe Petri Nets
The master thesis of Susanne Göbel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. Instead of calculus terms a much more convenient representation via MA trees naturally maps to the application...

Editeur : Springer Vieweg
Parution : 2016-01-22
Collection : BestMasters PDF

60,49

Téléchargement immédiat
Dès validation de votre commande