Cert-t
Home
News
About
2026
2026-01-06
[Preprint]: A Categorical Model of Computation for Stateful Stream Programming
2025
2025-10-09
Memocode 2025 [invited paper]: Bialgebraic semantics for timed processes
2025-05-16
Coordination 2025: "Formal foundations for Reowolf, a language for synchronous protocol programming"
2024
2024-12-17
Article dans Emergences.
2024-09-25
Internship: Clock Discipline Algorithm in Coq