Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers
Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
Consensual trends for optimizing the constitution of middleware
ACM SIGCOMM Computer Communication Review
Automatic Implementation of Distributed Systems Formal Specifications
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
| Hi-index | 0.00 |