Distributed Computing

The aim of this international journal is to provide a forum for original and significant contributions in the field of distributed computing. Published papers range from reports on systems that are currently being designed, implemented, and used to "theoretical" papers concerning formal specification, verification, and synthesis of distributed systems. In all cases, acceptance of papers is be based on originality and contribution