état (1) protocole (1) modèle (1) méthodologie (1) Specifications (1) Methodology (1) Specifications (1) Specifications (1) Semantics (1) Multiprocessors (1) Methodology (1) Memory (1) Example (1) Location (1) Use (1) Semantics (1) Behavior (1) Models (1)