Göbel, Susanne
A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Table of contents
1. Background
Susanne Göbel
2. Translating MA Processes into Safe Petri Nets — The Idea
Susanne Göbel
3. Translating MA Processes into Safe Petri Nets — Complete Construction
Susanne Göbel
4. Further Remarks
Susanne Göbel
Avainsanat: Computer Science, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Computer Systems Organization and Communication Networks
- Tekijä(t)
- Göbel, Susanne
- Julkaisija
- Springer
- Julkaisuvuosi
- 2016
- Kieli
- en
- Painos
- 1st ed. 2016
- Sarja
- BestMasters
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783658117658
- Painetun ISBN
- 978-3-658-11764-1