An advanced operating systems project using concurrency
ACM SIGCSE Bulletin
Implementation of classical mutual exclusion algorithms in Ada
ACM SIGAda Ada Letters
Performance analysis of a constrained resource sharing system
Queueing Systems: Theory and Applications
Evolution of Distributed Java Programs
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Paper: Deadlock detection without wait-for graphs
Parallel Computing
| Hi-index | 0.00 |