Before revision: PROFETA GwendolenGwendolen Semantics:2017 (Part of the Model Checking Agent Programming Languages FrameworkModel Checking Agent Programming LanguagesMCAPL (Zenodo)) Extensions and hybrid systems JACK Teams CogniTAO (Think-As-One) Living Systems Process Suite BrahmsBrahms JaCaM
After revision: PROFETA GwendolenGwendolen Semantics:2017 (Part of the Model Checking Agent Programming Languages FrameworkModel Checking Agent Programming LanguagesMCAPL (Zenodo)) Розширення та гібридні системи Команди JACK CogniTAO (Think-As-One) Living Systems Process Suite БрамсБрамс JaCaM