Types and Subtypes for Client-Server Interactions
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Correspondence assertions for process synchronization in concurrent communications
Journal of Functional Programming
Hi-index | 0.00 |