Entidades

Es la unidad de cómputo de ambiente informático distribuido

Puede ser un proceso, un procesador, etc.

Capacidades

Cada entidad cuenta con las siguientes capacidades:

Acceso de lectura y escritura a una memoria local (no compartida con otras entidades):
- Registro de estado: status(x)
- Registro de valor de entrada: value(x)
Procesamiento local
Comunicación: preparación, transmisión y recepción de mensajes
Setear y resetear un reloj local

La entidad solamente responde a eventos externos (es reactiva).

Los posibles eventos externos son:

A excepción del impulso espontáneo, los eventos se generan dentro de los límites del sistema.

Acción: Secuencia finita e indivisible de operaciones.

Es atómica porque se ejecuta sin interrupciones.
Regla: Es la relación entre el evento que ocurre y el estado en el que se encuentra la entidad cuando ocurre dicho evento, de modo tal que $estado × evento → acción$