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 UR
After 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