Type-theoretic foundations for concurrent object-oriented programing
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Flexible Agent Programming in Linear Logic
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |