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
Nyckelord: Computer Science, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Computer Systems Organization and Communication Networks
- Författare
- Göbel, Susanne
- Utgivare
- Springer
- Utgivningsår
- 2016
- Språk
- en
- Utgåva
- 1st ed. 2016
- Serie
- BestMasters
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783658117658
- Tryckt ISBN
- 978-3-658-11764-1