Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems...

This book constitutes the refereed proceedings of the 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2003, held in Paris, France, in November 2003.The 21 revised full papers and 6 revised short papers presented were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on adaptation and separation of concerns; deployment; security and transactions; replication; networking and routing; discovery, context-awareness, and ontologies; and asynchronous messaging.

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.