Projects

CALF: Categorial Automata Learning Framework

CALF: Categorial Automata Learning Framework

CoNeCo: Concurrency, Networks, and Coinduction

CoNeCo: Concurrency, Networks, and Coinduction

Probabilistic Foundations for Networks

Probabilistic Foundations for Networks