Distributed Computing (journal)
Distributed Computing is a peer-reviewed scientific journal that focuses on the theory, design, specification, analysis, and implementation of distributed systems. It covers a wide range of topics within the field of distributed computing, aiming to publish high-quality research that advances the understanding and practice of building and reasoning about complex systems whose components are spread across multiple physical locations or logical domains.
The journal's scope includes but is not limited to:
- Theoretical Foundations: Algorithmic foundations of distributed computing, including fault tolerance, concurrency control, consensus, synchronization, and related topics.
- System Design and Implementation: Architectures, protocols, and mechanisms for building distributed systems, including cloud computing, edge computing, peer-to-peer systems, and mobile computing.
- Formal Methods and Verification: Techniques for specifying, modeling, and verifying the correctness and performance of distributed systems.
- Security and Privacy: Security protocols, privacy-preserving techniques, and trust management in distributed environments.
- Distributed Data Management: Distributed databases, distributed file systems, and data replication strategies.
- Applications: Case studies and experimental evaluations of distributed systems in various application domains, such as sensor networks, social networks, and scientific computing.
- Emerging Topics: New paradigms and challenges in distributed computing, such as blockchain technology, federated learning, and quantum distributed computing.
Distributed Computing publishes original research articles, brief announcements, and special issues devoted to specific themes. The journal aims to provide a forum for researchers and practitioners from academia and industry to exchange ideas and report on the latest advances in the field. It is indexed in major bibliographic databases, making it a key resource for researchers in distributed computing. The journal emphasizes rigorous evaluation and experimental validation of proposed solutions.