Ce formalisme est destiné à modéliser les systèmes complexes constitués
de plusieurs composants interagissants. Sa sémantique est exprimée en
termes de systèmes de transitions étiquetés.

Les composants ont deux types d'interactions :
 - la synchronisation d'actions ou d'évènements, comme dans le
   produit synchronisé d'Arnold et Nivat, étendue par la prise en compte
   de priorités sur les évènements,
  - l'échange instantané d'informations.

De plus, AltaRica permet des constructions hiérarchisées : chaque
sous-système peut être encapsulé et placé sous la supervision d'un 
contrôleur qui assure l'interface avec l'environnement de ce sous-système.