You are not logged in | Log in
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
dr hab. Andrzej Tarlecki, mgr Sławomir Lasota