Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4: — Amendment 1: Computational formalization

Technologies de l'information — Traitement réparti ouvert — Modèle de référence: Sémantique architecturale — Partie 4: — Amendement 1: Formalisation de traitement