Sławomir Lasota

Algebraic observational equivalence and open-map bisimilarity

Afiliacja

Instytut Informatyki Uniwersytetu Warszawskiego

W zakresie

informatyki

Data nadania

23 marca 2000

Promotor

• prof. Andrzej Tarlecki

Recenzenci

• prof. Horst Reichel (TU Dresden)
• dr hab. Michał Grabowski