Secure composition of untrusted code: box π, wrappers, and causality types
Journal of Computer Security - CSFW13
On the expressiveness and decidability of higher-order process calculi
Information and Computation
Deploying π-calculus technology in Inter-organizational process
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Symbolic bisimulation for a higher-order distributed language with passivation
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
| Hi-index | 0.00 |