Klee

Implementing Hybrid Semantics: From Functional to Imperative

ICTAC 2020

Klee (07/2018-now)

__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