HiPAC

Le regole sono eseguite concorrentemente secondo il modello extended nested transaction.

• priorita`
• numeriche (funzione priority)
• classi urgencies

• meccanismo dei cycles per le regole deferred

• meccanismo pipelining per le regole decoupled