You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
Return to the list of grants

Observational equivalence of programs and data structures vs bisimulation equivalence of concurrent processes (doctoral dissertation grant )

Principal investigator
prof. dr hab. Andrzej Tarlecki
Contract number
8T11C 046 14
Starting date
Jan. 1, 1998
Ending date
Dec. 31, 1999
Financed by
State Committee for Scientific Research
Participants
dr hab. Andrzej Tarlecki, mgr Sławomir Lasota

Careers

Website

© 2024 University of Warsaw. All rights reserved.