Sławomir Lasota

Algebraic observational equivalence and open-map bisimilarity

Affiliation

Instytut Informatyki Uniwersytetu Warszawskiego

Field

informatics

Awarding date

March 23, 2000

Supervisor

• prof. Andrzej Tarlecki

Reviewers

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