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
Keywords: Computer Science, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Computer Systems Organization and Communication Networks
- Author(s)
- Göbel, Susanne
- Publisher
- Springer
- Publication year
- 2016
- Language
- en
- Edition
- 1st ed. 2016
- Series
- BestMasters
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783658117658
- Printed ISBN
- 978-3-658-11764-1