A polynomial translation of mobile ambients into safe Petri nets. Understanding a calculus of hierarchical protection domains (Q2835404)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A polynomial translation of mobile ambients into safe Petri nets. Understanding a calculus of hierarchical protection domains |
scientific article; zbMATH DE number 6659117
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A polynomial translation of mobile ambients into safe Petri nets. Understanding a calculus of hierarchical protection domains |
scientific article; zbMATH DE number 6659117 |
Statements
A Polynomial Translation of Mobile Ambients into Safe Petri Nets (English)
0 references
2 December 2016
0 references
0.7822284698486328
0 references
0.7809823751449585
0 references
0.7460978627204895
0 references
0.7401326894760132
0 references
