यदि आपकी पृष्ठभूमि क्रिप्के संरचनाओं पर CTL की व्याख्या की गई है और आप ACTS (एक्शन-बेस्ड CTL) की तुलना में LTS पर कुछ इसी तरह की व्याख्या के लिए लग रहे हैं, तो यह दिलचस्प हो सकता है।
1990 में, आर। डी। निकोला और एफ। वेंडरगेर ने एसीटीएल को एक एक्शन-बेस्ड CTL ( एक्शन बनाम स्टेट बेस्ड लॉजिस्टिक्स फॉर ट्रांस्फ़ॉर्म सिस्टम , सिमेंटिक्स ऑफ़ सिस्टम्स ऑफ़ कंसंट्रेटिव प्रोसेसेस (1990), पीपी। 407-41919) के रूप में पेश किया। यह आगे 1993 (R. De Nicola, A. Fantechi, S. Gnesi, G. Ristori: एक एक्शन-बेस्ड फ्रेमवर्क फॉर वेरिफाइंग लॉजिकल एंड बिहेवियरल प्रॉपर्टीज़ ऑफ कंसंट्रेटिव सिस्टम्स , कंप्यूटर नेटवर्क्स एंड ISDN सिस्टम्स, Vol। 25) में अध्ययन किया गया है । नंबर 7., पीपी। 761-778।) और हाल ही में 2008 में (आर। मेओलिक, टी। कापस, जेड। ब्रेज़ोनिक: एक्टएलडब्लू - एक्शन-बेस्ड कम्प्यूटेशन ट्री लॉजिक विथ अनऑल ऑपरेटर , इंफॉर्मेशन साइंसेस, 178 (6) , पीपी। 1542-1557)
ACTL का मुख्य विचार (एक ही परिचित के साथ CTL के सबसेट के साथ भ्रमित नहीं होना) CTL के लिए उन मॉडल के समान ऑपरेटर और समान एल्गोरिदम की जांच करना है। इसके अलावा, ऑपरेटरों को सीएलएल के लिए उपयोग किए जाने वाले एनालॉग के निश्चित-बिंदु अभिव्यक्तियों द्वारा परिभाषित किया जाता है। ACTL की जटिलता (मैं स्पष्टता के बारे में निश्चित नहीं हूं) एचएमएल और प्रपोजल मोडल μ-पथरी के बीच कहीं है।