A simple taxonomy for distributed mutual exclusion algorithms
ACM SIGOPS Operating Systems Review
About logical clocks for distributed systems
ACM SIGOPS Operating Systems Review
Elements for a course on the design of distributed algorithms
ACM SIGCSE Bulletin
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The HetNOS network operating system: a tool for writing distributed applications
ACM SIGOPS Operating Systems Review
Refining knowledge oriented actions to layered implementations
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors
IEEE Transactions on Parallel and Distributed Systems
Interrupt and Cancellation as Synchronization Methods
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Global data computation in chordal rings
Journal of Parallel and Distributed Computing
Data transmission between communication center (Cc) and many primary stations (Ps)
TELE-INFO'09 Proceedings of the 8th Wseas international conference on Telecommunications and informatics
An improved snap-stabilizing PIF algorithm
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Relaxing property preservation in the refinement of concurrent systems
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A parallel genetic algorithm based on global program state monitoring
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part I
| Hi-index | 0.00 |