title: Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4:  — Amendment 1: Computational formalization
title: Technologies de l'information — Traitement réparti ouvert — Modèle de référence: Sémantique architecturale — Partie 4:  — Amendement 1: Formalisation de traitement