Qual è la definizione di ACTL?

Question

Ho cercato la definizione di ACTL, ma Google mi ha dato molto poco con cui andare.

Finora so che ACTL è un'altra forma di controllo del modello CTL e CTL include i seguenti operatori:

• Sempre
• Esistere
• Globale
• Infine
• Prossimo
• E / o
• NON

Quindi cosa include Actl e in che modo è diverso da CTL?

Grazie molto