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.



Subsections

Morpheus 2004-02-10