Télécharger le livre :  A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Ajouter à ma liste d'envies
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

52,74