Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| An Analysis Tool for Models of Virtualized Systems. | 0 | 0.34 | 2018 |
| Virtually timed ambients: A calculus of nested virtualization. | 1 | 0.37 | 2018 |
| Resource-Aware Virtually Timed Ambients | 0 | 0.34 | 2018 |
| A Calculus of Virtually Timed Ambients. | 0 | 0.34 | 2016 |