যদি আপনার ব্যাকগ্রাউন্ডটি ক্রিপকে কাঠামোগুলি দ্বারা ব্যাখ্যা করা হয় এবং আপনি এলটিএসগুলির তুলনায় অনুরূপ কিছু সন্ধান করেন তবে ACTL (অ্যাকশন-ভিত্তিক সিটিএল) আকর্ষণীয় হতে পারে।
১৯৯০ সালে, আর ডি নিকোলা এবং এফ। ভ্যানড্রাগার অ্যাকশন-ভিত্তিক সিটিএল হিসাবে রূপান্তর করেছিলেন ( রূপান্তর ব্যবস্থার জন্য অ্যাকশন বনাম রাজ্য ভিত্তিক লজিস্টিকস, কনটেন্টাল প্রসেসিসের সিস্টেমেস সিম্যান্টিকস (1990), পৃষ্ঠা 407-419)। 1993 সালে এটি আরও অধ্যয়ন করা হয়েছে (আর। ডি নিকোলা, এ। ফ্যান্তেচি, এস। জেনি, জি। রিস্তোরি: সমকালীন সিস্টেম , কম্পিউটার নেটওয়ার্ক এবং আইএসডিএন সিস্টেমগুলির লজিকাল এবং আচরণগত বৈশিষ্ট্য যাচাই করার জন্য একটি অ্যাকশন-ভিত্তিক কাঠামো , খণ্ড 25, নং,, পৃষ্ঠা 76 76১-778।।) এবং আরও সম্প্রতি ২০০৮ সালে (আর। মেলিক, টি। কাপাস, জেড। ব্রেজোজনিক: অ্যাকটিএলডাব্লু - অ্যাকশন-ভিত্তিক গণনা গাছ যুক্তিবিহীন অপারেটর , তথ্য বিজ্ঞান, 178 (6) , পৃষ্ঠা 1542-1557)
ACTL- এর মূল ধারণাটি (একই সংক্ষিপ্ত রূপের সাথে সিটিএল-এর একটি উপসেটের সাথে বিভ্রান্ত না হওয়া) সিটিএল হিসাবে মডেল পরীক্ষার জন্য একই রকম অপারেটর এবং অনুরূপ অ্যালগরিদম থাকতে হবে। অধিকন্তু, অপারেটরগুলি সিটিএল-র জন্য ব্যবহৃত ফিক্সড পয়েন্ট এক্সপ্রেশন অ্যানালগ দ্বারা সংজ্ঞায়িত হয়। ACTL এর জটিলতা (আমি Expresiveness সম্পর্কে নিশ্চিত নই) এইচএমএল এবং প্রপোজেশনাল মডেল μ-ক্যালকুলাসের মধ্যে কোথাও is