A polynomial translation of mobile ambients into safe petri nets : understanding a calculus of hierarchical protection domains /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Wiesbaden :
Springer Vieweg,
c2016.
|
| Series: | BestMasters
|
| Subjects: | |
| Online Access: | Ver documento en línea |
Internet
Ver documento en líneaSistema de Bibliotecas de Universidad de Costa Rica
| Call Number: |
004.015.1 |
|---|---|
| Copy | Available |