José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Klee
Implementing Hybrid Semantics: From Functional to Imperative
ICTAC 2020
Klee (07/2018-2021)
__Coalgebraic Modeling and Analysis for Computational Synthetic Biology__ - is an FCT project that aims at the design of biological systems in a systematic way, using the theory of coalgebras.
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)
CoRR 2020
Cite
×