Expressing first-order π-calculus in higher-order calculus of communicating systems
Journal of Computer Science and Technology
Extending howe's method to early bisimulations for typed mobile embedded resources with local names
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Hi-index | 0.00 |