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
Format(s) : PDF
52,74

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