Buch, Englisch, 66 Seiten, Paperback, Format (B × H): 148 mm x 210 mm, Gewicht: 1109 g
Reihe: BestMasters
Understanding a Calculus of Hierarchical Protection Domains
Buch, Englisch, 66 Seiten, Paperback, Format (B × H): 148 mm x 210 mm, Gewicht: 1109 g
Reihe: BestMasters
ISBN: 978-3-658-11764-1
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Translating Mobile Ambient (MA) Processes into Safe Petri Nets - The Idea.- Managing Names in the Petri Net.- Translating Mobile Ambient Processes into Safe Petri Nets – Complete Construction.- From MA to rMA.- From rMA to MA-PN.- Polynomial Construction Using a Substitution Net.