Authentication primitives and their compilation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On decidability of the control reachability problem in the asynchronous π-calculus
Nordic Journal of Computing
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
The receptive distributed π-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type inference for a distributed π-calculus
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Basic observables for a calculus for global computing
Information and Computation
Security Policies as Membranes in Systems for Global Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Type inference for a distributed π-calculus
ESOP'03 Proceedings of the 12th European conference on Programming
Controlling process modularity in mobile computing
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Basic observables for a calculus for global computing
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
| Hi-index | 5.23 |