Complexity of network synchronization
Journal of the ACM (JACM)
Brief announcement: asynchronous bounded expected delay networks
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science
Hi-index | 0.00 |