Jeremy Jacob | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Ana Cavalcanti
13 publications
Abdulrazaq Abba
2 publications

research

∙ 04/27/2021

Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata

In this work, we consider translating tock-CSP into Timed Automata for U...

0 Abdulrazaq Abba, et al. ∙

research

∙ 08/16/2020

Automatic Translation of tock-CSP into Timed Automata

The process algebra tock-CSP provides textual notations for modelling di...

0 Abdulrazaq Abba, et al. ∙