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