Nordic Journal of Computing
Type and behaviour reconstruction for higher-order concurrent programs
Journal of Functional Programming
Parallel functional programming in Eden
Journal of Functional Programming
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 |