Compositionality in Coalgebraic Process Theory

Projektdetails

Beschreibung

Foundational research, papers and theoretical results are expected. Study of compositional principles in coalgebra, process theory and computer science in general.
AkronymLEGO-CPT
StatusAbgeschlossen
Tatsächlicher Beginn/ -es Ende1/03/09 → 28/02/13

Systematik der Wissenschaftszweige 2002

  • 1106 Formale Sprachen
  • 11 Mathematik, Informatik
  • 1118 Wahrscheinlichkeitstheorie
  • 1108 Informatik
  • 1111 Logik