Review: Formal Methods for Open Object-Based Distributed Systems V - Liquori, Luigi; Objects, types and prototypes : semantics and validation (MIRHO); Centre Inria d'Université Côte d'Azur; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS); Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET); Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (ISSN: 0010-4620, 2003)