Next: Tematyka badań
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
Slawomir Lasota 2000-03-17