Fine-Grained Multithreading with Process Calculi
IEEE Transactions on Computers - Special issue on the parallel architecture and compilation techniques conference
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Lambda and pi calculi, CAM and SECD machines
Journal of Functional Programming
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Towards a unified approach to encodability and separation results for process calculi
Information and Computation
State inference for dynamically changing interfaces
Computer Languages
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
| Hi-index | 0.00 |