ryt

Autoreferat pracy doktorskiej:

Algebraiczna równoważność obserwacyjna a równoważność bisymulacyjna określona za pomocą otwartych morfizmów

(ang.: Algebraic observational equivalence and open-map bisimilarity)

Sawomir Lasota