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) und INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA), 2003. Review: Formal Methods for Open Object-Based Distributed Systems V. ISSN: 0010-4620. 1 Januar 2003. DOI 10.1093/comjnl/46.6.661.

Liquori, L., 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), 2003. Review: Formal Methods for Open Object-Based Distributed Systems V. ISSN: 0010-4620. https://doi.org/10.1093/comjnl/46.6.661

Liquori, L., 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). (2003). Review: Formal Methods for Open Object-Based Distributed Systems V. ISSN: 0010-4620. https://doi.org/10.1093/comjnl/46.6.661

Liquori L, 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) (2003) Review: Formal Methods for Open Object-Based Distributed Systems V. ISSN: 0010-4620. https://doi.org/10.1093/comjnl/46.6.661

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), Review: Formal Methods for Open Object-Based Distributed Systems V, ISSN: 0010-4620 2003.