Universitšt Karlsruhe
A Formal Semantics for the Pi Calculus

Diploma thesis (closed)

Advisors

Alumni
Prof. Sabine Glesner
Jan Olaf Blech

Realizer

Former Students
Horia Barca
Login
Links