Operatori di Astrazione

Spesso è utile rimuovere certe azioni rispetto alla visuale dell'ambiente. Questo significa che viene modificato il comportamento esterno del programma perché alcune azioni, inizialmente visibili, vengono internalizzate (cioè diventano $\tau$). Gli operatori di astrazione permettono questo tipo di modifiche sui sistemi.