Axiomatization of Bisimulation Based Relations A thesis submitted in partial fulfillment of the requirements for the degree of Master of Technology in Computer Science & Engineering by Pranav Singh 2000389 Under the Guidance of Dr S. Arun-Kumar Department of Computer Science & Engineering Indian Institute of Technology Delhi May 2005